Corpus ID: 699636

Heap Memory Management in Prolog with Tabling: Principles and Practice

  title={Heap Memory Management in Prolog with Tabling: Principles and Practice},
  author={Bart Demoen and Konstantinos Sagonas},
  journal={J. Funct. Log. Program.},
  • Bart Demoen, Konstantinos Sagonas
  • Published 2001
  • Computer Science
  • J. Funct. Log. Program.
  • In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous experience of compiling Prolog to C in the wamcc system and of compiling finite domain constraints in the clp(FD) system. The compilation scheme has however been redesigned in order to overcome the drawbacks of compiling to C. In particular, GNU-Prolog is based on a low-level mini-assembly platform-independent language that makes it possible to avoid compiling C code, and thus… CONTINUE READING
    85 Citations
    Improved Compilation of Prolog to C Using Moded Types and Determinism Information
    • 26
    • Highly Influenced
    • PDF
    A Register-Free Abstract Prolog Machine with Jumbo Instructions
    • 11
    • PDF
    Improving the compilation of prolog to C using type and determinism information: Preliminary results
    • 2
    • Highly Influenced
    • PDF
    Improving Compilation of Prolog to C Using Program Information
    • PDF
    The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
    • 10
    • PDF
    From simulation to practice: cache performance study of a Prolog system
    • 2
    XSB: Extending Prolog with Tabled Logic Programming
    • 180
    • PDF


    WAMCC: Compiling Prolog to C
    • 76
    • PDF
    Compiling Constraints in clp(FD)
    • 252
    • PDF
    CAT: The Copying Approach to Tabling
    • 54
    • PDF
    Semantics-based program analysis for logic-based languages using XSB
    • 25
    Implementation of a Linear Tabling Mechanism
    • 68
    • PDF
    XSB as an efficient deductive database engine
    • 400
    FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
    • 72
    • PDF
    High-performance logic programming with the Aquarius Prolog compiler
    • 143