[LispM] Symbolics Prolog?

[Earl DuCaine]

I can confirm that this was definitely a Symbolics product, seems to 
have been part of their 'layered' product, c. 7.1. Hoping to do a little 
more research...  Franz has/had a Lisp based Prolog, it's possible that 
that's a continuation of a third party licensed Prolog that shares its 
lineage with the Symbolics version.


On 08/08/2018 11:31 PM, Christopher Stacy wrote:
> I think it was a Symbolics product, and used special instructions 
> (e.g. UNIFY) on the CPU.
> Never used it and don't know anything about it, personally.
>
> I wonder if some hint about it might be found in the Joshua 
> documentation.
> And I'd expect Prolog to be on whatever Optional Products distribution 
> Joshua was on.
>
>
> _______________________________________________
> LispM mailing list
> LispM at tunes.org
> http://lists.tunes.org/mailman/listinfo/lispm