Intelligent backtracking in CLP(R)

Annals of Mathematics and Artificial Intelligence

Volumn 17, Issue 2, 1996, Pages 189-211

  Burg, Jennifer J ^a   Lang, Sheau Dong ^b   Hughes, Charles E ^b  

^a WAKE FOREST UNIVERSITY   (United States)

^b UNIVERSITY OF CENTRAL FLORIDA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26444613907     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02127968     Document Type: Article

References (21)

1. M. Bruynooghe and L. Pereira, Deduction revision by intelligent backtracking, in: Implementations of Prolog, ed. J. Campbell (Ellis Horwood, 1984).
2. J. Burg. Parallel execution models and algorithms for constraint logic programming over a real-number domain, Ph.D. Dissertation, University of Central Florida (December, 1992).
3. J. Burg, S.-D. Lang and C. Hughes, Finding conflict sets and backtrack points in CLP(ℛ), Technical Report TR-CS-93-01, Wake Forest University, Winston-Salem, NC (November, 1993).
4. J. Burg, P. Stuckey, J. Tai and R. Yap, Linear equation-solving for constraint logic programming, to appear in Proc. of the 12th Int. Conf. on Logic Programming, Tokyo, Japan (1995).
5. C. Codognet, P. Codognet, and G. Filé, Yet another intelligent backtracking method, Proc. of the 5th Int. Conf. and Symp. on Logic Programming, Seattle (1988) pp. 447-465.
6. P. Codognet and T. Sola, Extending the WAM for intelligent backtracking, Proc of the 8th Int. Conf. on Logic Programming, Paris, France (1991) pp. 127-141.
7. P. Cox, Finding backtrack points for intelligent backtracking, in: Implementations of Prolog, ed. J. Campbell (Ellis Horwood, 1984).
8. B. DeBacker and H. Beringer, Intelligent backtracking for CLP languages: An application to CLP(ℛ), Proc. of the Int. Symp. on Logic Programming, San Diego (October, 1991) pp. 405-419.
9. Heintze et al., The CLP(ℛ) programmer's manual. Version 1.2, IBM Thomas J. Watson Research Center (September, 1992).
10. C. Hogger and A. Kotzamanidis, Aspects of failure analysis in a CLP(ℛ) system. Internal Report, Imperial College, London (June, 1993).
11. Jaffar et al., An abstract machine for CLP(ℛ), Proc. of SICPLAN '92 Conf. on Programming Language Description and Implementation, San Francisco (May, 1992) pp. 128-139.
12. Jaffar et al., The CLP(ℛ) language and system, ACM Transactions on Programming Languages and Systems 14(3) (July, 1992) pp. 339-395.
13. V. Kumar and Y.-J. Lin, An intelligent backtracking scheme for Prolog, Proc. of the Int. Symp. on Logic Programming (September, 1987) pp. 406-414.
14. Y.-J. Lin and V. Kumar, A data-dependency-based intelligent backtracking scheme for Prolog, J. Logic Programming 4(2) (1988) pp. 165-181.
15. Y.-J. Lin, V. Kumar and C. Leung, An intelligent backtracking algorithm for parallel execution of logic programs, Proc. of the 3rd Int. Conf. on Logic Programming, London (June, 1986) pp. 55-67.
16. J. Lloyd, Foundations of Logic Programming, 2nd ed. (Springer-Verlag, New York, 1987).
17. D. Luenberger, Linear and Nonlinear Programming, 2nd ed. (Addison-Wesley, Reading, MA).
18. S. Matwin and T. Pietrzykowski, Exponential improvement of exhaustive backtracking: data structures and implementation, Proc. of the 6th Conf. on Automated Deduction, Lecture Notes in Computer Science (Springer-Verlag, New York, 1982).
19. L. Pereira and A. Porto, Selective backtracking, in: Logic Programming, eds. K.L. Clark and S.-A. Tarnlund (Academic Press, 1982).
20. G. Williams, Linear Algebra, 2nd ed. (William Brown Publishers, Dubuque, IA, 1991).
21. D.A. Wolfram, Intractable unifiability problems and backtracking, Proc. of the 3rd Int. Conf. on Logic Programming, LNCS 225 (Springer-Verlag, 1986) pp. 107-121.