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

by P Van Roy, A Despain
Venue:IEEE Computer