FALL: Futures-Aware Logic Library
=================================

[![Build Status](https://travis-ci.org/remexre/fall.svg?branch=master)](https://travis-ci.org/remexre/fall)

[![Crates.io](https://img.shields.io/crates/v/fall.svg)](https://crates.io/crates/fall)

[![Documentation](https://docs.rs/fall/badge.svg)](https://docs.rs/fall/)

![License](https://img.shields.io/crates/l/fall.svg)

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](http://www.apache.org/licenses/LICENSE-2.0)
-	[MIT license](http://opensource.org/licenses/MIT)

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.