Re: Prolog to WAM Code Generation (Hans Aberg)
3 Jul 2005 09:43:27 -0400

          From comp.compilers

Related articles
Prolog to WAM Code Generation (Ludwig Wittgenstein) (2005-07-02)
Re: Prolog to WAM Code Generation (2005-07-03)
Re: Prolog to WAM Code Generation (Yiorgos Adamopoulos) (2005-07-11)
| List of all articles for this month |

From: (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

    Hans Aberg

Post a followup to this message

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