A System for Tabled Constraint Logic Programming
- 15 December 2000
- book chapter
- Published by Springer Nature
- p. 478-492
- https://doi.org/10.1007/3-540-44957-4_32
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Metastructures vs. attributed variables in the context of extensible unificationPublished by Springer Nature ,2005
- Efficient Tabling Mechanisms for Logic ProgramsPublished by MIT Press ,1995
- XSB as an efficient deductive database enginePublished by Association for Computing Machinery (ACM) ,1994
- Memoing for logic programsCommunications of the ACM, 1992
- A new data structure for implementing extensions to PrologPublished by Springer Nature ,1990
- OLD resolution with tabulationPublished by Springer Nature ,1986