Van Roy, Peter; Despain, Alvin M. "High-Performance Logic Programming with the Aquarius Prolog Compiler" pp54-68

(1992)

(1992) IEEE Computer 25(1) (1992)  

Languages mentioned