CHAT: The copy-hybrid approach to tabling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1551 LNCS, Issue , 1999, Pages 106-121

  Demoen, Bart ^a   Sagonas, Konstantinos ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID APPROACH;

ARTIFICIAL INTELLIGENCE;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84867447464     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (6)

1. H. Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991. See also: http://www.isg.sfu.ca/ ~hak/documents/wam.html.
2. B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, number 1490 in LNCS, pages 21-35, Pisa, Italy, Sept. 1998. Springer.
3. B. Demoen and K. Sagonas. Memory Management for Prolog with Tabling. In Proceedings of ISMM'98: ACM SIGPLAN International Symposium on Memory Management, pages 97-106, Vancouver, B.C., Canada, Oct. 1998. ACM Press.
4. K. Sagonas and T. Swift. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems, 20(3), May 1998.
5. K. Sagonas, T. Swift, and D. S. Warren. An Abstract Machine for Computing the Well-Founded Semantics. In M. Maher, editor, Proceedings of the Joi nt In ternational Conference and Symposium on Logic Programming, pages 274-288, Bonn, Germany, Sept. 1996. The MIT Press.
6. D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983.