High-performance logic programming with the Aquarius Prolog compiler

@article{Roy1992HighperformanceLP,
  title={High-performance logic programming with the Aquarius Prolog compiler},
  author={P. Roy and A. Despain},
  journal={Computer},
  year={1992},
  volume={25},
  pages={54-68}
}
  • P. Roy, A. Despain
  • Published 1992
  • Computer Science
  • Computer
  • Aquarius Prolog, a high performance compiler designed and built to test the hypothesis that Prolog can be implemented as efficiently as an imperative language by compiling the more powerful features of logic programming only where they are needed, and then only in the simplest form, is described. The authors begin with some background on logic programming and then discuss the Prolog language in more detail. They present an overview of their compiler, giving its structure and the principles… CONTINUE READING
    143 Citations

    Figures, Tables, and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Theory and Practice of Logic Programming
    • 553
    • PDF
    The GNU Prolog system and its implementation
    • 61
    • PDF
    On the implementation of GNU Prolog
    • 26
    • Highly Influenced
    • PDF
    Description and Optimization of Abstract Machines in a Dialect of Prolog
    • 2
    • Highly Influenced
    • PDF
    Compiling Mercury to High-Level C Code
    • 15
    • PDF
    Performance Comparison between Conventional and LogicProgramming Systems
    • Vanusa Menditi, CalegarioInês, D. Castro, DutraDepartment
    • 1998
    The YAP Prolog system
    • 135
    • PDF
    The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
    • 10
    • PDF

    References

    SHOWING 1-10 OF 21 REFERENCES
    Fast Prolog with an extended general purpose architecture
    • 53
    The Occur-Check Problem Revisited
    • J. Beer
    • Computer Science
    • J. Log. Program.
    • 1988
    • 37
    • PDF
    Foundations of Logic Programming
    • 3,772
    Logic for problem solving
    • 1,612
    • Highly Influential
    • PDF
    The Art of Prolog
    • 1,545
    • PDF
    Warren's Abstract Machine: A Tutorial Reconstruction
    • 466
    • PDF