FALL: Futures-Aware Logic Library

一个易于嵌入、对 futures 友好的逻辑引擎，其语言基于 Prolog 的纯子集（即没有否定，没有剪枝）。与其他我能找到的逻辑编程库不同，fall 是 futures-friendy 的，使其易于与现有的使用 futures 的数据库层集成。

许可证

根据您选择的以下一项许可：

• Apache 许可证第 2 版
• MIT 许可证

任选其一。

贡献

除非您明确声明，否则任何您有意提交以包含在作品中的贡献，根据 Apache-2.0 许可证的定义，应按上述方式双重许可，而不附加任何额外的条款或条件。