Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "prolog" keyword

scryer-prolog 0.9.4 💰
A modern Prolog implementation written mostly in Rust.
127 versions - Latest release: 3 months ago - 2 dependent packages - 67.9 thousand downloads total - 1,818 stars on GitHub - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.
5 versions - Latest release: over 2 years ago - 1.83 thousand downloads total - 107 stars on GitHub - 1 maintainer
rusty-wam 0.8.1 💰
The Warren Abstract Machine in Rust.
9 versions - Latest release: over 5 years ago - 5.26 thousand downloads total - 1,904 stars on GitHub - 1 maintainer
logru 0.2.0
A small, embeddable and fast interpreter for a subset of Prolog.
1 version - Latest release: over 2 years ago - 1 dependent repositories - 563 downloads total - 14 stars on GitHub - 1 maintainer
avalog 0.7.2 💰
An experimental implementation of Avatar Logic with a Prolog-like syntax
23 versions - Latest release: 22 days ago - 1 dependent package - 9.94 thousand downloads total - 64 stars on GitHub - 1 maintainer
Top 3.8% on crates.io
chalk-engine 0.97.0
Core trait engine from Chalk project
93 versions - Latest release: 2 months ago - 3 dependent packages - 209 dependent repositories - 1.85 million downloads total - 1,769 stars on GitHub - 2 maintainers
Top 5.6% on crates.io
chalk-recursive 0.97.0
Recursive solver for the Chalk project
75 versions - Latest release: 2 months ago - 1 dependent package - 182 dependent repositories - 1.27 million downloads total - 1,769 stars on GitHub - 1 maintainer
Top 3.7% on crates.io
chalk-solve 0.97.0
Combines the chalk-engine with chalk-ir
82 versions - Latest release: 2 months ago - 3 dependent packages - 243 dependent repositories - 2.53 million downloads total - 1,769 stars on GitHub - 3 maintainers
Top 3.2% on crates.io
chalk-ir 0.97.0
Chalk's internal representation of types, goals, and clauses
83 versions - Latest release: 2 months ago - 5 dependent packages - 243 dependent repositories - 2.53 million downloads total - 1,769 stars on GitHub - 3 maintainers
Top 3.1% on crates.io
chalk-derive 0.97.0
A helper crate for use by chalk crates for `derive` macros.
88 versions - Latest release: 2 months ago - 6 dependent packages - 243 dependent repositories - 2.54 million downloads total - 1,769 stars on GitHub - 3 maintainers
Top 4.4% on crates.io
chalk-macros 0.10.0
Macros for Chalk
2 versions - Latest release: about 4 years ago - 4 dependent packages - 20 dependent repositories - 608 thousand downloads total - 1,769 stars on GitHub - 1 maintainer
swipl-sys 0.1.0
Low-level bindings to SWI Prolog
1 version - Latest release: over 6 years ago - 771 downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
traits 6 compiler 6 rust 5 prolog-interpreter 2 prolog-implementation 2 logic-programming 2 swi-prolog 1 bindings 1 avatar 1 advancedresearch 1 logic 1 solver 1 hacktoberfest 1 first-order-logic 1 prolog-programming-language 1 iso-prolog-standard 1 minikanren 1 microkanren 1 functional-programming 1 kanren 1 language 1 prolog-system 1