A Multiple-Valued Logical Semantics for Prolog
Abstract elided by the publisher.
Related papers
- Integrated symbol table, engine and heap memory management in multi-engine prolog ISMM 2011
- Equational Logic Programming: An Extension to Equational Programming POPL 1986
- The Concurrent Language, Shared Prolog TOPLAS 1991
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- A small embedding of logic programming with a simple complete search DLS 2016
- Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG TOPLAS 1994
- 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