A Classical Implementation for Prolog-II
No abstract available.
DOI 10.1007/3-540-16442-1_20
Related papers
- Implementation of a high-speed Prolog interpreter PLDI 1987
- Design and Distributed Implementation of the Parallel Logic Language Shared Prolog PPoPP 1990
- Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism ESOP 1990
- Integrated symbol table, engine and heap memory management in multi-engine prolog ISMM 2011
- Efficient interpretation of Prolog programs PLDI 1987
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Systems Programming in Concurrent Prolog POPL 1984
- A Region-Based Memory Manager for Prolog ISMM 2000