This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
High-Performance Logic Programming with the Aquarius Prolog Compiler
January 1992 (vol. 25 no. 1)
pp. 54-68
ASCII Text
x 
 
Peter Van Roy, Alvin M. Despain, "High-Performance Logic Programming with the Aquarius Prolog Compiler," Computer, vol. 25, no. 1, pp. 54-68, January, 1992.
 
 
BibTex
x
 
@article{ 10.1109/2.108055,
author = {Peter Van Roy and Alvin M. Despain},
title = {High-Performance Logic Programming with the Aquarius Prolog Compiler},
journal ={Computer},
volume = {25},
number = {1},
issn = {0018-9162},
year = {1992},
pages = {54-68},
doi = {http://doi.ieeecomputersociety.org/10.1109/2.108055},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - High-Performance Logic Programming with the Aquarius Prolog Compiler
IS - 1
SN - 0018-9162
SP54
EP68
EPD - 54-68
A1 - Peter Van Roy,
A1 - Alvin M. Despain,
PY - 1992
VL - 25
JA - Computer
ER -
 

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.

Citation:
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.