-
chalk-ir
Chalk 的类型、目标和子句的内部表示
-
chalk-recursive
Chalk 项目的递归求解器
-
chalk-solve
结合 chalk-engine 和 chalk-ir
-
avalog
一种类似 Prolog 语法的天使逻辑实验性实现
-
chalk-engine
Chalk 项目的核心特质引擎
-
scryer-prolog
主要用 Rust 编写的现代 Prolog 实现
-
chalk-derive
为 chalk 库使用 derive 宏提供辅助的 crate
-
rusty-wam
Rust 中的 Warren 抽象机
-
chalk-macros
Chalk 的宏定义
-
suiron-rust
一个快速的类似 Prolog 的推理引擎
-
logru
一个小巧、可嵌入且快速的 Prolog 子集解释器
-
prolog_parser
rusty-wam 的操作符优先级解析器，一个新兴的 ISO Prolog 实现
-
ukanren
µKanren，一种轻量级关系型编程语言
-
prolog_parser_rebis
Scryer Prolog（一种即将推出的ISO Prolog实现）的Rebis开发版本的操作符优先级解析器
-
fall
一个易于嵌入、对future友好的逻辑引擎
-
swipl-sys
对SWI Prolog的低级绑定
尝试使用DuckDuckGo进行搜索。