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.
jfengel 1 days ago [-]
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.
NetMageSCW 3 hours ago [-]
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).
Milpotel 2 days ago [-]
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.
YeGoblynQueenne 2 days ago [-]
That's cruelty. Where did this happen?
Milpotel 1 days ago [-]
Many years ago in Germany.
1 days ago [-]
Rendered at 18:31:08 GMT+0000 (Coordinated Universal Time) with Vercel.
He was adding the compiler to the system. We used a subroutine threaded machine to execute the WAM instructions (thank you, Byte TIL issue).