3 releases
Uses old Rust 2015
0.1.2 | Sep 18, 2018 |
---|---|
0.1.1 | Sep 13, 2018 |
0.1.0 | Sep 13, 2018 |
#15 in #prolog
22KB
556 lines
FALL: Futures-Aware Logic Library
An easily embeddable, futures-friendly logic engine, whose language is based on a pure subset of Prolog (i.e. no negation, no cuts). Unlike other logic programming libraries I was able to find, fall
is futures-friendly, making it easy to integrate with an existing futures-using database layer.
License
Licensed under either of
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Dependencies
~4.5–6MB
~120K SLoC