Warren's Abstract Machine пересобрали в виде учебного разборa
На GitHub лежит wambook — Tutorial Reconstruction про Warren's Abstract Machine, то есть про классическую машину для выполнения Prolog. Судя по формату, это не очередной «посмотрите мой гениальный блог», а вполне прикладной реконструктор, который полезен тем, кто хочет понять, как такие интерпретаторы реально устроены внутри.