Prol: WAM demo

This is a simplified Warren Abstract Machine (WAM) implementation for Prolog, that showcases the main instructions, compiling, register allocation and machine functions.

Code organization

  • model.py: Data objects representing terms, programs, and machine entities.
  • compiler.py: Compiling of a list of rules into a list of instructions.
  • interpreter.py: Interpreter that execute the instruction listing for a given query.
  • grammar.py: Sample application of interpreter, with a grammar that can parse itself. Try it out with python -m grammar and compare with the text in the file!

Documentation

  1. About Prolog: a hurried primer if you don’t know what it is about.
  2. Resolution strategy: how a query is actually solved in Prolog.
  3. Warren Abstract Machine: details about the implementation attempted here.
  4. Indexing: indexing implementation to fast-track some call patterns.
  5. Parsing: explaining basic structures for parsing
  6. : documentation for the sample application of grammar parsing.
  7. Stuff left out: what this implementation has simplified from the WAM, and references.

GitHub

https://github.com/brunokim/prol