For those who need some context: In 1983 David Warren published a paper describing an abstract machine that could be used as the target of a Prolog compiler. This machine became the basis of most Prolog compilers - it is much faster than interpreters. His paper was not easy to understand. Hasan Air-Kaci's book was a brilliant exposition of Warren's work, and was a must-read for anyone serious about working on Prolog interpreters or compilers.
Note that this is Professor David HD Warren. As opposed to Professor David S Warren, who led the XSB Prolog team. Which is built around the Warren Abstract Machine.
Reminds me of helping a doctoral student with his implementation of WAM and understanding of the storage system I had written for a combined Lisp/Prolog interpreter.
He was adding the compiler to the system. We used a subroutine threaded machine to execute the WAM instructions (thank you, Byte TIL issue).
Oh dear, that reminds me of one of my courses I had to take where we had to memorise the WAM and execute it on paper in the exam. Most useless course ever.
For those who need some context: In 1983 David Warren published a paper describing an abstract machine that could be used as the target of a Prolog compiler. This machine became the basis of most Prolog compilers - it is much faster than interpreters. His paper was not easy to understand. Hasan Air-Kaci's book was a brilliant exposition of Warren's work, and was a must-read for anyone serious about working on Prolog interpreters or compilers.
Note that this is Professor David HD Warren. As opposed to Professor David S Warren, who led the XSB Prolog team. Which is built around the Warren Abstract Machine.
Reminds me of helping a doctoral student with his implementation of WAM and understanding of the storage system I had written for a combined Lisp/Prolog interpreter.
He was adding the compiler to the system. We used a subroutine threaded machine to execute the WAM instructions (thank you, Byte TIL issue).
Oh dear, that reminds me of one of my courses I had to take where we had to memorise the WAM and execute it on paper in the exam. Most useless course ever.
That's cruelty. Where did this happen?
Many years ago in Germany.