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)