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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in periodicals archive ?
My research at that time was on LM-Prolog, an extended Prolog well integrated with Lisp and implemented on MIT-style Lisp Machines (LMI and Symbolics) [1].
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. With others at Xerox PARC, Kahn has been active in designing and implementing CommonLoops, a proposed extension of CommonLisp for object-oriented programming; CommonLog, a logic programming extension to CommonLoops; and Vulcan, a concurrent logical object system.