LM-Prolog (3330)

Lisp Machine Prolog