High-performance logic programming with the Aquarius Prolog compiler
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 25 (1) , 54-68
- https://doi.org/10.1109/2.108055
Abstract
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 underlying its high performance. They compare their system with two popular high-performance commercial systems and with two implementations of C and conclude with an overview of ways to extend this work.<>Keywords
This publication has 5 references indexed in Scilit:
- Fast Prolog with an extended general purpose architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Warren's Abstract MachinePublished by MIT Press ,1991
- The occur-check problem revisitedThe Journal of Logic Programming, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977