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

Apache-2.0/MIT

22KB
556 lines

FALL: Futures-Aware Logic Library

Build Status

Crates.io

Documentation

License

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