Path: utzoo!mnetor!uunet!husc6!uwvax!oddjob!hao!gatech!hubcap!ncrcae!ncr-sd!hp-sdd!hplabs!otter!kers
From: kers@otter.hple.hp.com (Christopher Dollin)
Newsgroups: comp.lang.prolog
Subject: Re: Re: Prolog implementations in Lisp
Message-ID: <1600009@otter.hple.hp.com>
Date: 21 Mar 88 08:45:07 GMT
References: <54200005@hplabsb.UUCP>
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 26

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?"