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).

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

   (1994-12-14)