High-Performance Logic Programming with the Aquarius Prolog Compiler

Peter Van Roy, Alvin M. Despain. High-Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer, 25(1):54-68, 1992.

Abstract

Abstract is missing.