The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
From MaRDI portal
Publication:2893093
DOI10.1017/S1471068411000433zbMath1244.68022MaRDI QIDQ2893093
Publication date: 25 June 2012
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Prologlogic programming systemcontinuation passing style compilationdata-representations for Prolog runtime systemsfirst-class logic enginesimplementation of Prolog
Related Items (5)
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ A geometric interpretation of LD-resolution ⋮ Fifty Years of Prolog and Beyond ⋮ Tabling as a library with delimited control ⋮ Unnamed Item
Uses Software
Cites Work
- Deforestation: Transforming programs to eliminate trees
- An empirical study of list structure in Lisp
- 1983–1993: The wonder years of sequential Prolog implementation
- Partial translation: towards a portable and efficient prolog implementation technology
- On Delphi lemmas and other memoing techniques for deterministic logic programs
- LogiMOO: An extensible multi-user virtual world with natural language control
- Design of a separable transition-diagram compiler
This page was built for publication: The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
