This tutorial demystifies one of the most important yet poorly understood aspects oflogic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of theWAM adds features in a gradual manner, clarifying the complex aspects of the design and providingthe first detailed study of WAM since it was designed in 1983.Developed by David H. D. Warren, theWAM is an abstract (nonphysical) computer that aids in the compilation and implementation of theProlog programming language and offers techniques for compiling and optimizing symbolic computingthat can be generalized beyond Prolog. Although the benefits of the WAM design have been widelyaccepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstractmachines for each conceptually separate part of the design and refines them, finally stitching themtogether to make a WAM. An index presents all of the critical concepts used in the WAM. It isassumed that readers have a clear understanding of the operational semantics of Prolog, inparticular, of unification and backtracking, but a brief summary of the necessary Prolog notions isprovided.Contents: Introduction. Unification -- Pure and Simple. Flat Resolution. Prolog. Optimizingthe Design. Conclusion. Appendixes.
Hassan Ait-Kaci is Member of Research Staff, Digital Equipment Corporation, Paris Research Laboratory.
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。
