meaning of lm prolog
1. 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].