"LM-Prolog User Manual", M. Carlsson et al, Uppsala Dec 1983.
(1983)
Languages mentioned
LM-Prolog
{1983} Lisp Machine Prolog