Warren's Abstract Machine & Rust

20 May 2021

David H. D. Warren

*Not the same David Warren

*

☨Not the Warren Abstract Machine

☨

☨

Other Abstract Machines

• C-WAM, many other WAM extensions
• Prolog Machine, PLM
• Berkeley Abstract Machine, BAM
• Vienna Abstract Machine, VAM
• Tree-Oriented Abstract Machine, TOAM

Warren's Abstract Machine: A Tutorial Reconstruction

http://wambook.sourceforge.net/

Hassan Aït-Kaci

https://www.hassan-ait-kaci.net/

David S. Warren

*Also not the same David Warren. This is David S. Warren, who is unrelated.

☨Not the same David S. Warren as who wrote WAM for Everyone

*

WAM For Everyone: A Virtual Machine for Logic Programming

☨

WAM Instruction Set

Bytecode Representation

Ownership
Lifetimes
Three

If there's time

• Bad Nom, Good Nom
  
• Tooling, Visualization
  
• Bullet Three