High-performance logic programming with the Aquarius Prolog compiler

@article{Roy1992HighperformanceLP,
  title={High-performance logic programming with the Aquarius Prolog compiler},
  author={Peter Van Roy and Alvin M. Despain},
  journal={Computer},
  year={1992},
  volume={25},
  pages={54-68}
}
  • Peter Van Roy, Alvin M. Despain
  • Published in Computer 1992
  • Computer Science
  • 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

    Figures, Tables, and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 113 CITATIONS

    Performance Comparison between Conventional and LogicProgramming Systems

    • Vanusa Menditi, CalegarioInês, De Castro, DutraDepartment
    • 1998
    VIEW 6 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    1983-1993: The Wonder Years of Sequential Prolog Implementation

    VIEW 10 EXCERPTS
    CITES METHODS & BACKGROUND

    In remental Analysis of Constraint

    • Logi, ProgramsMANUEL
    • 2000
    VIEW 12 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    The Wonder Years of Sequential Prolog Implementation

    VIEW 9 EXCERPTS
    CITES METHODS & BACKGROUND

    Generating instruction sets and microarchitectures from applications

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS

    MProlog: an Implementation Overview

    VIEW 9 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    The GNU Prolog system and its implementation

    VIEW 4 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1990
    2019

    CITATION STATISTICS

    • 13 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 10 REFERENCES

    Logic f o r Problem Solving

    • R. Kowalski
    • Elsevier North-Hol- land,
    • 1979
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Warren's Abstract Machine: A Tutorial Reconstruction

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    The Occur-Check Problem Revisited

    VIEW 1 EXCERPT

    The A r t of Prolog

    • L. Sterling, E. Shapiro
    • 1986

    Foundations of Logic Programming

    Programming in Prolog