scryer-prolog
Prolog implementation
A Prolog implementation written in Rust aiming to create an industrial strength production environment with bleeding edge research capabilities
A modern Prolog implementation written mostly in Rust.
2k stars
53 watching
123 forks
Language: Rust
last commit: 4 days 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 Lisp family programming language in Haskell | 162 |
 rust-lang/chalk | An implementation of the Rust trait system using a PROLOG-like logic solver | 1,843 |
 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. | 371 |
 ichiban/prolog | An embeddable Prolog interpreter written in Go. | 627 |
 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. | 102 |
 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,222 |
 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 |