Prolog implementation based on Warren's abstract machine
-
Updated
Dec 18, 2019 - Common Lisp
#
warren-abstract-machine
Here are 5 public repositories matching this topic...
A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."
-
Updated
Mar 11, 2018 - Rust
Implementation of Prolog
language rust vm interpreter compiler virtual-machine logic prolog prolog-implementation prolog-interpreter logic-programming prolog-programming-language bfg9000 wam bfg warren-abstract-machine
-
Updated
Feb 19, 2020 - Rust
Prolog implementation using Warren Abstract Machine
-
Updated
Aug 16, 2024 - C++
Engine for logic programming in Go
parser prolog-implementation logic-programming logic-engine warren-abstract-machine definite-clause-grammar
-
Updated
Dec 9, 2021 - Go
Improve this page
Add a description, image, and links to the warren-abstract-machine topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the warren-abstract-machine topic, visit your repo's landing page and select "manage topics."