From The Free On-line Dictionary of Computing (30 December 2018) :
LM-Prolog
Lisp Machine Prolog.
A Prolog interpreter in Zetalisp for the Lisp Machine
developed by Ken Kahn and Mats Carlsson in 1983.
ftp://sics.se/archive/lm-prolog.tar.Z)">(ftp://sics.se/archive/lm-prolog.tar.Z).
["LM-Prolog User Manual", M. Carlsson et al, Uppsala Dec
1983].
(1994-12-14)