Encyclopedia > Warren Abstract Machine

  Article Content

Warren Abstract Machine

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 for implementing Prolog compilers.

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.(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.) This has resulted in a very scant number of WAM aficionados who could boast understanding the details of its workings.

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

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Fibre optic gyroscope

... optic gyroscope wikipedia.org dumped 2003-03-17 with ...

This page was created in 32.7 ms