inductive logic programming


0 minute read Published: 2018-08-29

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

match-refute diagrams

1 minute read Published: 2018-08-29

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

Themed by (a fork of) after-dark.