DeltaLog
0 minute read Published: 2018-08-29An implementation of Datalog in Rust which uses continuous truth values. It currently only supports in-memory truth tables.
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.