Lisp Machine Prolog.

A prolog interpreter in zetalisp for the lisp machine developed by Ken Kahn and Mats Carlsson in 1983.

["LM-Prolog User Manual", M. Carlsson et al, Uppsala Dec 1983].