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

• Apache License, Version 2.0
• MIT license

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.