[LispM] Symbolics Prolog?

[Earl DuCaine]

Hi Steve,

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


On 08/06/2018 10:49 PM, Steven Nunez wrote:
>
> Greetings all,
>
> I am trying to track down a copy of Symbolics Prolog, but have run 
> into a dead-end. Not even Dave/Kalman have a copy, so I thought I 
> would ask here. Does anyone remember if this was something that 
> Symbolics produced, or was it a third party? If a third party, does 
> anyone remember who?
>
> More importantly, does anyone have a copy?
>
> Regards,
>
>     Steve
>
> P.S. Whilst I am asking, I may as well see if anyone has Big ART 
> (Automated Reasoning Tool) from Inference. That too seems to have 
> vanished into the mists of time.
>
>
>
> _______________________________________________
> LispM mailing list
> LispM at tunes.org
> http://lists.tunes.org/mailman/listinfo/lispm

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </archives/lispm/attachments/20180808/375c848c/attachment.html>