[LispM] Symbolics Prolog?

[Robert Swindells]

Earl DuCaine <earl.ducaine at gmail.com> wrote:
>LMI distributed a prolog called UC prolog.  That probably had a version 
>that worked on Symbolics machines too. Also CMU's AI lab has a number of 
>archived prolog implementations, including a couple implemented in Lisp 
>and one in particular (lmprolog) for Lisp Machine Lisp (Zetalisp)
>
><https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html>

Your link to the CMU archive looks to be the same as the one LMI
distributed.