prolog abstract machines

Article View: comp.lang.prolog

Article #4130

#4130

From: Johan Thole
Date: Wed, 10 Jan 1990 16:10

17 lines
1245 bytes

I am looking for references on IMPLEMENTED abstract machines for prolog-like 
languages. I have read the theoretical papers about the Warren Abstract Machine 
and its implementation by D.H. Warren and J. Gabriel.
In addition, we are interested in finding out about AVAILABLE (commercially or
academic) implementations of this type of machines.

Both hints on compilers and interpreters are welcome as well.
Please  send mail instead of posting the reply. If there is interest, I will 
summarize the responses to the net.


----------------------------------------------------------------
                                        Ascom Tech AG
     Johan Thole                        Ziegelmattstr. 1-15
     thole@ascom.uucp                   CH-4503 Solothurn
                                        Switzerland

Technical Details

Message-ID: <322@ascom.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!mcsun!cernvax!chx400!ascom!thole

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!mcsun!cernvax!chx400!ascom!thole
From: thole@ascom.uucp (Johan Thole)
Newsgroups: comp.lang.prolog,comp.ai
Subject: prolog abstract machines
Keywords: warren abstract machine, prolog compilation
Message-ID: <322@ascom.UUCP>
Date: 10 Jan 90 16:10:19 GMT
Reply-To: thole@ascom.UUCP (Johan Thole)
Organization: Ascom Tech AG, Solothurn, CH
Lines: 17