thole@ascom.uucp (Johan Thole) (01/11/90)
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