#predicate #programming #language #parse #function #negation #circumscriptive

mycroft

Datalog-inspired programming language with circumscriptive negation and functions

1 unstable release

Uses old Rust 2015

0.0.1 Mar 14, 2018

#40 in #predicate


Used in 2 crates (via mycroft-macros-impl)

MIT license

99KB
2.5K SLoC

mycroft is an in-memory, Datalog + callbacks library.

Currently, all it can do is parse predicates.

mycroft is in work-in-progress status, and is not even suitable for experimental use.

Dependencies

~5–10MB
~127K SLoC