https://github.com/remexre/fall

An easily embeddable, futures-friendly logic engine.
https://github.com/remexre/fall

logic-programming rust

Last synced: about 1 month 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 (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-10-14T05:12:57.000Z (over 5 years ago)
• Last Synced: 2024-05-11T19:03:12.866Z (about 2 months 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

Lists

• awesome-rust-formalized-reasoning - FALL - easily embeddable, futures-friendly logic engine. (Projects / Libraries)

README

        
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.