A GitHub repository has been created to preserve and provide access to 'Warren's Abstract Machine: A Tutorial Reconstruction' by Hassan Ait-Kaci, an out-of-print technical book about the Warren Abstract Machine (WAM) used in logic programming. The repository contains the book in PDF and PostScript formats, making this important computer science resource freely available after the original hosting site became unavailable.
Background
The Warren Abstract Machine (WAM) is a high-performance abstract machine for executing Prolog programs, designed by David H.D. Warren in 1983. It has become the de facto standard target for Prolog compilers and has influenced many implementations of logic programming languages.
- Source
- Lobsters
- Published
- Jun 5, 2026 at 10:06 AM
- Score
- 6.0 / 10