logic-solver-rs

prolog-rs

Minimal Prolog implemented in Rust

tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

sat-rs

A SAT solver written in Rust

Kind1

A next-gen functional language

cop-rs

Connection provers in Rust