A Prolog Compiler for the PLM (1984)

by Peter Van Roy