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
Ocean Beach, New York

... 9.4% who are 65 years of age or older. The median age is 42 years. For every 100 females there are 126.2 males. For every 100 females age 18 and over, there are 120.4 ...

This page was created in 24.4 ms