Re: Warren Abstract Machine

"Dwight VandenBerghe" <dwight@pentasoft.com>
19 May 1997 23:24:22 -0400

          From comp.compilers
Related articles
Warren Abstract Machine andrew.gavin@aethos.co.uk (Andrew Gavin) (1997-05-16)
Re: Warren Abstract Machine dwight@pentasoft.com (Dwight VandenBerghe) (1997-05-19)
Re: Warren Abstract Machine fjh@mundook.cs.mu.OZ.AU (1997-05-22)
Re: Warren Abstract Machine pardo@cs.washington.edu (1997-05-22)
Re: Warren Abstract Machine clc5q@cs.virginia.edu (Clark L. Coleman) (1997-05-22)
Re: Warren Abstract Machine Jacques.Noye@emn.fr (1997-05-22)
| List of all articles for this month |
From: "Dwight VandenBerghe" <dwight@pentasoft.com>
Newsgroups: comp.compilers
Date: 19 May 1997 23:24:22 -0400
Organization: Pentasoft Corporation
References: 97-05-201
Keywords: prolog

> Does anyone know where I might find some information on Warren
> Abstract Machines? I am interested in books web sites and publically
> available papers.


You might try U Manchester, and more locally, Argonne National Labs,
around the mid-eighties time frame. I wrote a Prolog-to-WAM compiler
for Argonne in 1985 or 6, and I think they published something about
it. (The compiler was infamous because I wrote it in awk. What was
not commonly known, to defend myself a little, is that I designed it
in three days and wrote it in seven, so that when I left after my
two-week visit was up, they had a full, working Prolog. Yes, yes, I
know ... it was a little slow..... but it did work. :)


> Failing this does anyone know any other languages like prolog which
> are have similar unification and backtracking features? [If that is
> not too dumb a question]


Take a look at Leda, if you're new at this stuff. It is a more gentle
introduction to the process than jumping into the WAM description.
("Multiparadign Programming in LEDA" by Budd)


Dwight
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.