A system for tabled constraint logic programming

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 478-492

  Cui, Baoqiu ^a   Warren, David S ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATTRIBUTED VARIABLES; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; LOGIC PROGRAMMING SYSTEMS; USER'S PROGRAMS;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 84867776654     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_32     Document Type: Conference Paper

References (23)

1. P. Brisset, et al. ECLiPSe 4.0 User Manual. IC-Parc at Imperial College, London, July 1998.
2. Philippe Codognet. A tabulatio n method for constraint logic programs. In Pro-ceedings of INAP'95, 8th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, October 1995.
3. Baoqiu Cui and David S. Warren. Attributed variables in XSB. In Proceedings of Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pages 61-74, Las Cruces, New Mexico, USA, December 1999.
4. The XSB Group. The XSB logic programming system, version 2.0, 1999. Available from http://www.cs.sunysb.edu/~sbprolog.
5. Christian Holzbaur. Speci-cation of Constraint Based Inference Mechanisms through Extended Uni-cation. PhD thesis, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, 1990.
6. Christian Holzbaur. Metastructures vs. attributed variables in the context of extensible uni-cation. In International Symposium on Programming Language Im-plementation and Logic Programming, LNCS 631, pages 260-268. Springer Verl ag, August 1992.
7. Christian Holzbaur. Extensible uni-cation as basis for the implementation of CLP languages. In Baader F. and et al., editors, Proceedings of the Sixth International Workshop on Uni-cation, TR-93-004, pages 56-60, Boston University, MA, 1993.
8. Christian Holzbaur. OFAI clp(q,r) Manual, Edition 1.3.3. Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09, 1995.
9. Christian Holzbaur and Thom Frühwirth. Compiling constraint handling rules. In ERCIM/COMPULOG Workshop on Constraints, CWI, Amsterdam, The Netherlands, 1998.
10. Christian Holzbaur and Thom Frühwir th. Compiling constraint handling rules into Prolog with attributed variables. In Proceedings of the 1999 International Conference on Principles and Pratice of Declarative Programming, LNCS, Paris, France, September 1999. Springer Verla g.
11. S. L. Huitouze. A new data structure for implementing extensions to Prolog. In P. Deransart and J. Maluszy-nski, editors, International Symposium on PLILP, LNCS 456, pages 136-150. Springer, Berlin, German y, August 1990.
12. Mark Johnson. Memoization in constraint logic programming. In Proceedings of PPCP'93, First Workshop on Principles and Practice of Constraint Programming, Rhode Island, Newport, April 1993.
13. The Intelligent Systems Laboratory. SICStus Prolog User's Manual Version 3.7.1. Swedish Institute of Computer Science, October 1998.
14. Fred Mesnard, S-ebastien Hoarau A tabulation algorithm for CLP In Proceed-ings of International Workshop on Tabling in Logic Programming 13-24 1997.
15. Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, and Rakesh Verma. Symbolic bisimulation using tabled constraint logic programming. Submitted to TAPD'2000. Available from http://www.cs.sunysb.edu/~cram/papers/.
16. Bernhard Pfahringer and Johannes Matiasek. A CLP schema to integrate specialized solvers and its application to natural language processing. Technical report, Austrian Research Institute for Artificial Intelligence, Vienna, 1992.
17. P. Rao, I. V. Ramakrishnan, K. Sagonas, T. Swift, and D. S. Warren. Efficient table access mechanisms for logic programs. In L. Sterling, editor, ICLP, pages 697-711, 1995.
18. Prasad Rao. Efficient data structures for tabled resolution. PhD thesis, SUNY at Stony Brook, 1997.
19. K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In ACM SIGMOD Conference, 1994.
20. K. Sagonas, T. Swift, D. S. Warren, J. Freire, and P. Rao. The XSB Programmer's Manual: version 1.9, 1998.
21. H. Tamaki and T. Sato. Ol d resolution with tabulation. In Proceedings of the 3rd ICLP, pages 84-98, 1986.
22. D. Toman. Top-down beats bottom-up for constraint extensions of datalog. In Proceedings of International Logic Programming Symposium ILPS'95. MIT Press, 1995.
23. D. S. Warren. Memoing for logic programs with applications to abstract interpretatino and partial deduction. Communications of the ACM, 1992.