inductive logic programming

An implementation of Datalog in Rust which uses continuous truth values. It currently only supports in-memory truth tables.

Match-refute diagrams are a low-level hybrid between imperative and logic paradigms, related to both first order logic and binary decision diagrams.