| [Edit]
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.""
|
|
