warren-abstract-machine

There are 5 repositories under warren-abstract-machine topic.

matsud224/wamcompiler
Prolog implementation based on Warren's abstract machine
Language:Common Lisp42 6 56
remexre/wam-tutorial-reconstruction
A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."
Language:Rust9 4 11
eazar001/bfg-prolog
Implementation of Prolog
Language:Rust8 1 01
brunokim/logic-engine
Engine for logic programming in Go
Language:Go3 2 01
Skotuson/bp
Prolog implementation using Warren Abstract Machine
Language:C++3