profile picture

Taimurul Hassan

 More details
  • Warren's Abstract Machine: A Tutorial Reconstruction
    MIT Press. 1991.
    This tutorial attempts to demystify one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983.