Paper Info
Title
The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines
Abstract
We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design. With focus on its differences with conventional Warren Abstract Machine (WAM) implementations, we explain key details of BinProlog's compilation technique, which replaces the WAM with a simplified continuation passing runtime system (the "BinWAM"), based on a mapping of full Prolog to binary logic programs. This is followed by a description of a term compression technique using a "tag-on-data" representation. Later derivatives, the Java-based Jinni Prolog compiler and the recently developed Lean Prolog system refine the BinProlog architecture with first-class Logic Engines, made generic through the use of an Interactor interface. An overview of their applications with focus on the ability to express at source level a wide variety of Prolog built-ins and extensions covers these newer developments.
Year
DOI
Venue
2011
10.1017/S1471068411000433
Theory and Practice of Logic Programming - Prolog Systems
Keywords
DocType
Volume
continuation passing style compilation,full prolog,binprolog architecture,implementation of prolog,first-class logic engines,binprolog experience,java-based jinni prolog compiler,binprolog system,compilation technology,prolog,first-class logic engine,implementation choice,compilation technique,logic programming system,runtime system,lean prolog system,prolog built-ins,data representation,continuation passing style
Journal
12
Issue
ISSN
Citations 
1-2
1471-0684
1
PageRank 
References 
Authors
0.36
42
1
Name
Order
Citations
PageRank
Paul Tarau11529113.14