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.

Originally, I created this system to learn the rules of board games from examples. Once I discovered the existing field of inductive logic programming, I mostly abandoned the project, since existing research in the field had surpassed it.

Themed by (a fork of) after-dark.