scryer-prolog
by mthom
A modern Prolog implementation written mostly in Rust.
AI summary
Prolog engine
An implementation of the Prolog programming language in Rust.
- stars
- 2.1K
- forks
- 126
- watching
- 53
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Prolog implementation
An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.
Lisp interpreter
An implementation of a modern Lisp family programming language
rust-lang/chalk1.9K
Trait solver
An implementation of the Rust trait system using a PROLOG-like logic solver
System info fetcher
A system information fetcher written in Prolog.
Prolog interpreter
An interpreter for a logic-based programming language written in Haskell.
Prolog interpreter
An Erlang-based Prolog interpreter integrated with the Erlang runtime system.
Prolog engine
An embeddable Prolog interpreter written in Go.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
tmattio/spin295
Project generator
Generates OCaml project templates with standardized configurations and conventions.
Datalog processor
A Haskell implementation of Datalog, allowing recursive queries in a logic language.
Search library
A Standard ML implementation of a search library
mattwparas/steel1.3K
Scheme interpreter
An embeddable and extensible scheme dialect with support for macros, contracts, and Rust integration
Prolog compiler library
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.
Hash algorithm toolkit
Tools for implementing various hash algorithms in multiple programming languages.
Monad implementation library
A library for implementing monads by specifying instructions and their operational semantics
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions scryer-prolog.
