4 ms·
Re: Prolog implementation, in case you haven't already found it, the book Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci, is pure gold
by parenthesis 16y ago
Re: Prolog implementation, in case you haven't already found it, the book Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci, is pure gold for understanding the WAM.
http://web.archive.org/web/20030213072337/http://www.vanx.org/archive/wam/wam.html http://web.archive.org/web/20030213072337/http://www.vanx.or...
- silentbicycle 16y agoYes - I have a printed copy of that, actually. It's not the end of Prolog evolution, but it's a good snapshot of common implementation techniques, and it definitely clarified things. Here's a (rather snarky) LtU comment by Peter Van Roy pointing to other designs improving on the WAM - http://lambda-the-ultimate.org/classic/message1618.html#11082 http://lambda-the-ultimate.org/classic/message1618.html#1108...
- adamo 16y agoEasier link http://wambook.sf.net/ http://wambook.sf.net/