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.
Licensed under either of
at your option.
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.