This Article 
 Bibliographic References 
 Add to: 
High-Performance Logic Programming with the Aquarius Prolog Compiler
January 1992 (vol. 25 no. 1)
pp. 54-68

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.

Peter Van Roy, Alvin M. Despain, "High-Performance Logic Programming with the Aquarius Prolog Compiler," Computer, vol. 25, no. 1, pp. 54-68, Jan. 1992, doi:10.1109/2.108055
Usage of this product signifies your acceptance of the Terms of Use.