High-performance logic programming with the Aquarius Prolog compiler (1992)

by P Van Roy, A M Despain
Venue:IEEE Computer