🚀 go-pugleaf

Someone (the original note has been discumknackerated) wanted ...

> information on implementations of PROLOG in Lisp.  Any pointers

Well ... it't doesn't qualify in the *letter* but perhaps in the *spirit* ...
Poplog Prolog is implemented in Pop11[*1] with a little[*2] help from the
Poplog Virtual Machine.

Pop11 is like Lisp[*3] in that it has dynamic typing, dynamic store allocation
with garbage collection, first class (really, *1st*, not 1.5st) procedures,
lexical scoping, and run-time access to the compiler. It is unlike Lisp in that
it has a concrete syntax, open stack, partial application, user-defined
datatypes that aren't just funny uses of vectors or lists, and coroutines.

I think I'll go and lie down. Notefeet follow.

[*1] Systems Designers market Poplog in the USA and UK for commercial clients.
     Sussex University deal with educational establishments in the UK, and
     Robin Popplestone does so in the USA.

[*2] OK, quite a lot really.

[*3] When I say Lisp I mean Vulgar - sorry, Common - Lisp.

Regards,
Kers                                    | "Why Lisp if you can talk Poperly?"