ponyatov / wam

Warren's Abstract Machine: Prolog internals study

wam

Warren's Abstract Machine: Prolog internals study

(c) Dmitry Ponyatov <[e-mail]> MIT 2020

github: https://github.com/ponyatov/wam

https://github.com/ponyatov/nimbook/wiki/WAM

based on:

[hak] Hassan Aït-Kaci Warren's Abstract Machine: A Tutorial Reconstruction

links:

• https://en.wikipedia.org/wiki/Warren_Abstract_Machine
• http://wambook.sourceforge.net
  • http://wambook.sourceforge.net/wambook.pdf