id: 06049754
dt: j
an: 06049754
au: Tarau, Paul
ti: The BinProlog experience: architecture and implementation choices for
    continuation passing Prolog and first-class logic engines.
so: Theory Pract. Log. Program. 12, No. 1-2, 97-126 (2012).
py: 2012
pu: Cambridge University Press, Cambridge
la: EN
cc: 
ut: Prolog; logic programming system; continuation passing style compilation;
    implementation of Prolog; first-class logic engines;
    data-representations for Prolog runtime systems
ci: 
li: doi:10.1017/S1471068411000433
ab: Summary: 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.
rv: