mycroft 0.0.1

Datalog-inspired programming language with circumscriptive negation and functions
Documentation