MIT Press published a book called "The Warren Abstract Machine: A Tutorial Reconstruction" by Hassan Ait-Kaci.
This short -- 114 pages -- book about the Prolog VM has been made available for free download by the author (it's out-of-print). [0]
A good description of what it's about is at MIT Press' page for the author [1].
(While out-of-print, apparently a paperback version can be had for $21 on Amazon [2]).
A good description of what it's about is at MIT Press' page for the author [1].
(While out-of-print, apparently a paperback version can be had for $21 on Amazon [2]).
[0] http://wambook.sourceforge.net/
[1] https://mitpress.mit.edu/contributors/hassan-ait-kaci
[2] https://www.amazon.com/Warrens-Abstract-Machine-Reconstructi...