Lm-prolog

Lisp Machine Prolog. A Prolog interpreter in Zetalisp for the Lisp Machine developed by Ken Kahn and Mats Carlsson in 1983.

Онлайн словарь компьютерных терминов