#logic #embeddable #engine

fall

An easily embeddable, futures-friendly logic engine

2 releases

0.1.1 Sep 13, 2018
0.1.0 Sep 13, 2018
Download history 27/week @ 2018-09-17 21/week @ 2018-09-24 11/week @ 2018-10-01 2/week @ 2018-10-08 6/week @ 2018-10-15 10/week @ 2018-10-22 3/week @ 2018-10-29 17/week @ 2018-11-05 16/week @ 2018-11-12

4 downloads per month

Apache-2.0/MIT

22KB
555 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

~4MB
~77K SLoC

  • build build.rs
  • build lalrpop 0.16