Warren abstract machine

From Wikipedia, the free encyclopedia

In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set [War83]. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers.

[2] writes: "In [War83], Warren describes the WAM in a minimalist's style, making understanding very difficult for the average reader, even with a foreknowledge of Prolog's operations. Too much is left untold, and very little is justified in clear terms. This has resulted in a very scant number of WAM aficionados who could boast understanding the details of its workings." And in a note it writes: "David H. D. Warren's confides privately that he "felt [that the WAM] was important, but [its] details unlikely to be of wide interest. Hence, [he used a] 'personal notes' style.""

[edit] References

• [War83] David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA, October 1983.

• [2] Hassan Aït-Kaci. "Warren's Abstract Machine: A Tutorial Reconstruction". The book is out of print. The author has made it available online and free to use for non-commercial purposes.