scryer-prolog
Prolog engine
An implementation of the Prolog programming language in Rust.
A modern Prolog implementation written mostly in Rust.
2k stars
53 watching
126 forks
Language: Rust
last commit: about 1 month ago
Linked from 2 awesome lists
iso-prolog-standardprologprolog-implementationprolog-interpreterprolog-programming-languagerust
rust-unofficial/awesome-rust
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
| mthom/shentong | An implementation of a modern Lisp family programming language | 163 |
 rust-lang/chalk | An implementation of the Rust trait system using a PROLOG-like logic solver | 1,860 |
 rustemb/profetch | A system information fetcher written in Prolog. | 13 |
 erdwolf/prolog | An interpreter for a logic-based programming language written in Haskell. | 61 |
 rvirding/erlog | An Erlang-based Prolog interpreter integrated with the Erlang runtime system. | 372 |
 ichiban/prolog | An embeddable Prolog interpreter written in Go. | 634 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 tmattio/spin | Generates OCaml project templates with standardized configurations and conventions. | 295 |
 travitch/datalog | A Haskell implementation of Datalog, allowing recursive queries in a logic language. | 104 |
 pierrezurek/signsrch | A Standard ML implementation of a search library | 5 |
 mattwparas/steel | An embeddable and extensible scheme dialect with support for macros, contracts, and Rust integration | 1,313 |
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |
 mirage/digestif | Tools for implementing various hash algorithms in multiple programming languages. | 87 |
 heinrichapfelmus/operational | A library for implementing monads by specifying instructions and their operational semantics | 82 |