crates.io "logic-programming" keyword
oak-prolog 0.0.9
Prolog language parser with support for logic programming and declarative programming features.10 versions - Latest release: 2 days ago - 293 downloads total - 12 stars on GitHub - 1 maintainer
savan 0.3.5
core library for answer set navigation.8 versions - Latest release: about 1 year ago - 2 dependent packages - 8.57 thousand downloads total - 1 stars on GitHub - 1 maintainer
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust7 versions - Latest release: over 4 years ago - 9.61 thousand downloads total - 12 stars on GitHub - 1 maintainer
ascent_base 0.8.0
support library for the ascent package16 versions - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 261 thousand downloads total - 532 stars on GitHub - 1 maintainer
logru 0.4.1
A small, embeddable and fast interpreter for a subset of Prolog.4 versions - Latest release: about 1 year ago - 1 dependent repositories - 4.43 thousand downloads total - 22 stars on GitHub - 1 maintainer
fall 0.1.2
An easily embeddable, futures-friendly logic engine.3 versions - Latest release: over 7 years ago - 5.83 thousand downloads total - 9 stars on GitHub - 1 maintainer
proto-vulcan-macros 0.1.6
Internal macro library for proto-vulcan6 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 9.44 thousand downloads total - 12 stars on GitHub - 1 maintainer
kz80_prolog 0.1.0
Prolog compiler for Z80 - Logic programming on the RetroShield1 version - Latest release: 3 months ago - 19 downloads total - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.5 versions - Latest release: over 4 years ago - 6.42 thousand downloads total - 115 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
51 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 771 thousand downloads total - 486 stars on GitHub - 5 maintainers
z3 0.19.14
High-level rust bindings for the Z3 SMT solver from Microsoft Research51 versions - Latest release: 10 days ago - 12 dependent packages - 55 dependent repositories - 771 thousand downloads total - 486 stars on GitHub - 5 maintainers
neorusticus 0.1.3
A Prolog implementation in Rust with enhanced error handling4 versions - Latest release: 6 months ago - 1.4 thousand downloads total - 1 stars on GitHub - 1 maintainer
ascent_macro 0.8.0
implementation of ascent macros16 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 261 thousand downloads total - 510 stars on GitHub - 1 maintainer
ascent-byods-rels 0.8.0
data structures for Ascent relations, made possible by Ascent's BYODS feature7 versions - Latest release: about 1 year ago - 10.7 thousand downloads total - 510 stars on GitHub - 1 maintainer
otter_sat 0.1.0
A library for determining the satisfiability of boolean formulas written in conjunctive normal fo...3 versions - Latest release: about 1 year ago - 2.18 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 5.8% on crates.io
33 versions - Latest release: 17 days ago - 9 dependent packages - 51 dependent repositories - 806 thousand downloads total - 486 stars on GitHub - 5 maintainers
z3-sys 0.10.8
Low-level bindings for the Z3 SMT solver from Microsoft Research33 versions - Latest release: 17 days ago - 9 dependent packages - 51 dependent repositories - 806 thousand downloads total - 486 stars on GitHub - 5 maintainers
prolog-squared 1.0.0
A Meta-Interpretive Learning framework implementing second-order SLD resolution1 version - Latest release: 17 days ago - 0 downloads total - 1 maintainer
minikanren_1bit_chirho 0.3.0
miniKanren as 1-bit matrix operations - hardware-accelerated logic programming with SIMD, GPU, an...3 versions - Latest release: about 2 months ago - 41 downloads total - 1 maintainer
prune-lang 0.2.0
Prune is a constraint logic programming language with branching heuristic.5 versions - Latest release: 21 days ago - 86 downloads total - 32 stars on GitHub - 1 maintainer
ascent 0.8.0
Logic programming in Rust17 versions - Latest release: about 1 year ago - 2 dependent packages - 1 dependent repositories - 250 thousand downloads total - 488 stars on GitHub - 1 maintainer
datalog_ast 0.2.7
Abstract Syntax Tree types for Datalog programs9 versions - Latest release: 4 months ago - 228 downloads total - 1 maintainer
kanren
Logic Programming in rust.2 versions - Latest release: 28 days ago - 2.81 thousand downloads total - 1 maintainer
asdi 0.2.5
Another Simplistic Datalog Implementation (in Rust)7 versions - Latest release: about 4 years ago - 10 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 9.2% on crates.io
10 versions - Latest release: 3 months ago - 2 dependent packages - 8 dependent repositories - 613 thousand downloads total - 452 stars on GitHub - 1 maintainer
crepe 0.2.0 💰
Datalog in Rust as a procedural macro10 versions - Latest release: 3 months ago - 2 dependent packages - 8 dependent repositories - 613 thousand downloads total - 452 stars on GitHub - 1 maintainer
Related Keywords
rust
13
prolog
7
datalog
7
declarative-language
4
lattice
4
smt-solver
3
satisfiability
3
smt
3
rust-bindings
2
ffi-bindings
2
solver
2
ffi
2
minikanren
2
functional-programming
2
kanren
2
compiler
2
language
2
logic
2
parser
2
first-order-logic
1
rust-crate
1
rust-library
1
sat-solver
1
ilp
1
machine-learning
1
simd
1
fpga
1
constraint-solving
1
dsl
1
constraint-logic-programming
1
procedural-macro
1
program-analysis
1
ast
1
database
1
inference
1
relational-algebra
1
analysis
1
souffle
1
static-analysis
1
translator
1
hacktoberfest
1
retro
1
z80
1
programming
1
microkanren
1
answer-set-programming
1
zero-cost-abstraction
1
zero-allocation
1
parsec
1
parse-combinator
1
high-performance
1
declarative
1
interpreter
1
unification
1
data-structures
1
union-find
1
ascent
1
byods
1
sat
1
sat-sovler
1