Warren Abstract Machine とは

1983年にDavid H. D. Warrenは、メモリアーキテクチャと命令セットからなるPrologの実行のための抽象機械を設計した。この設計はWarren Abstract Machine(WAM)と呼ばれ、Prologコンパイラのデファクトスタンダードターゲットとなっています。