LM-Prolog

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].
Mentioned in ?
References in periodicals archive ?
I was also working on a partial evaluator for Lisp written in LM-Prolog [11].
While my demonstrations and seminars about LM-Prolog and partial evaluation went well and my discussions with ICOT researchers were productive, the most important event during my visit was my introduction to Concurrent Prolog.
Prior to this, he did research in logic programming and partial evaluation at Uppsala University in Sweden, where he authored a system called Uniform and coauthored a Lisp machine-based Prolog System called LM-Prolog.