Warren's Abstract Machine: A Tutorial Reconstruction

Lobsters Hottest Tools
prolog warren-abstract-machine tutorial book open-access compiler logic-programming

Summary

This repository provides the electronic version of Hassan Ait-Kaci's book 'Warren's Abstract Machine: A Tutorial Reconstruction', an out-of-print tutorial on the Warren Abstract Machine used for Prolog compilation, now freely available for non-commercial use.

<p><a href="https://lobste.rs/s/y6a6cg/warren_s_abstract_machine_tutorial">Comments</a></p>
Original Article
View Cached Full Text

Cached at: 06/05/26, 05:05 AM

a-yiorgos/wambook

Source: https://github.com/a-yiorgos/wambook

wambook

Warren’s Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

http://wambook.sf.net

Warren’s Abstract Machine: A Tutorial Reconstruction is a book written by Hassan Ait-Kaci. The book explains the Warren Abstract Machine and is now out of print. The author owns the copyright and for a time the book was available at: http://vanx.org/archive/wam/wam.html for free to anyone who wanted to use it for non-commercial purposes.

vanx.org seems to be a parcked domain at the moment so I setup this page for anyone interested in the electronic version of the book.

Similar Articles

Abstract Machines for Logic Programs

Lobsters Hottest

The article explores the implementation of logic programs using abstract stack machines, detailing how different mode assignments for inference rules (such as addition) translate into state machine transitions for computation.

ATLAS: Autoformalized Textbook Library At Scale

Hacker News Top

ATLAS is a large-scale Lean 4 library of textbook mathematics autoformalized by LLMs, covering 26 books with over 46,000 declarations. It provides reusable formal building blocks for human and machine-driven formalization.