https://github.com/remexre/fall
An easily embeddable, futures-friendly logic engine.
https://github.com/remexre/fall
logic-programming rust
Last synced: 2 months ago
JSON representation
An easily embeddable, futures-friendly logic engine.
- Host: GitHub
- URL: https://github.com/remexre/fall
- Owner: remexre
- Created: 2018-09-13T04:32:26.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-10-14T05:12:57.000Z (over 6 years ago)
- Last Synced: 2024-05-22T21:33:56.095Z (about 1 year ago)
- Topics: logic-programming, rust
- Language: Rust
- Size: 20.5 KB
- Stars: 9
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - FALL - easily embeddable, futures-friendly logic engine. (Projects / Libraries)
README
FALL: Futures-Aware Logic Library
=================================[](https://travis-ci.org/remexre/fall)
[](https://crates.io/crates/fall)
[](https://docs.rs/fall/)

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.