The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines

DOI10.1017/S1471068411000433zbMath1244.68022MaRDI QIDQ2893093

Paul Tarau

Publication date: 25 June 2012

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Prologlogic programming systemcontinuation passing style compilationdata-representations for Prolog runtime systemsfirst-class logic enginesimplementation of Prolog

Mathematics Subject Classification ID

Data structures (68P05) Logic programming (68N17)

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

• LogiMOO
• Prolog
• SICStus

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