Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site bbncc5.UUCP
Path: utzoo!linus!decvax!bellcore!petrus!scherzo!allegra!mit-eddie!think!harvard!bbnccv!bbncc5!jflechon
From: jflechon@bbncc5.UUCP (Louis Flechon)
Newsgroups: net.lang.prolog
Subject: PROLOG on Symbolics
Message-ID: <2367@bbncc5.UUCP>
Date: Thu, 20-Mar-86 11:32:03 EST
Article-I.D.: bbncc5.2367
Posted: Thu Mar 20 11:32:03 1986
Date-Received: Sun, 30-Mar-86 07:29:11 EST
Distribution: net
Organization: Bolt Beranek and Newman, Cambridge, MA
Lines: 20

Could anyone give me some information on PROLOG for the Symbolics
Lisp Machines ?

At the current state of my search, I know Symbolics sells one and LMI
distributes another one from Uppsala University. 

Does anyone have some experience with any of them ? 
What is the performance like ? 
Is there a compiler ? 
Is this the DEC-10 syntax ? 
How is the interaction with the LISP environment and the window
system ?
Is there an extensive set of predefinite predicates ?
...

Is there any other PROLOG available on Symbolics ?


                                          Jean-Louis FLECHON
                                          BBN Comm. Corp.