Re: Prolog to WAM Code Generation

haberg@math.su.se (Hans Aberg)
3 Jul 2005 09:43:27 -0400

          From comp.compilers
Related articles
Prolog to WAM Code Generation sender_001@hotmail.com (Ludwig Wittgenstein) (2005-07-02)
Re: Prolog to WAM Code Generation haberg@math.su.se (2005-07-03)
Re: Prolog to WAM Code Generation adamo@central.tee.gr (Yiorgos Adamopoulos) (2005-07-11)
| List of all articles for this month |
From: haberg@math.su.se (Hans Aberg)
Newsgroups: comp.compilers
Date: 3 Jul 2005 09:43:27 -0400
Organization: Mathematics
References: 05-07-016
Keywords: prolog
Posted-Date: 03 Jul 2005 09:43:27 EDT

> I'm currently working on a WAM-based prolog compiler, I'm done with
> implementing the Warren Abstract Machine, and almost done with the
> Prolog parser. However, I have no idea about how to do the connection
> between them! That is, I would like to know if there are any resources
> that describe how Prolog generates WAM code out of goals and clauses.


There is the book by Hassan Ait-Kaci, "Warrenıs Abstract Machine", which
is now available on the Internet; just search for "wambook". In another
direction, I have found useful the Mini-Prolog that comes with Hugs
<http://haskell.org/hugs>.


--
    Hans Aberg


Post a followup to this message

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