|Prolog to WAM Code Generation firstname.lastname@example.org (Ludwig Wittgenstein) (2005-07-02)|
|Re: Prolog to WAM Code Generation email@example.com (2005-07-03)|
|Re: Prolog to WAM Code Generation firstname.lastname@example.org (Yiorgos Adamopoulos) (2005-07-11)|
|From:||email@example.com (Hans Aberg)|
|Date:||3 Jul 2005 09:43:27 -0400|
|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
Return to the
Search the comp.compilers archives again.