µKanren-rs

这是 µKanren 的 Rust 实现，µKanren 是一种轻量级关系编程语言。有关原始 Scheme 实现的参考，请参见此处。

特性

• 类似于 Scheme 的 cons 单元的结构化合一。
• 使用 Iterator 特征实现的流。
• 使用三角形替换的持久向量表示状态。
• 基于特征（无宏 API）的合取、析取和 fresh。
• 使用逆-η 延迟的惰性目标评估。
• 整数、bool、char、&str 和单元类型原子。
• 显式的 ToValue 特征，可以将向量数组和列表转换为 cons 列表。
• 用于检查和指定状态的便利宏 state!。

用法

以下是一个简单的示例，它定义并使用了 appendo 谓词。

use ukanren::*;

fn appendo(first: Value, second: Value, out: Value) -> BoxedGoal<impl Iterator<Item = State>> {
    eq(&first, &())
        .and(eq(&second, &out))
        .or(fresh(move |a: Value, d: Value, res: Value| {
            eq(&(a.clone(), d.clone()), &first)
                .and(eq(&(a, res.clone()), &out))
                .and(appendo(d, second.clone(), res))
        }))
        .boxed()
}

let iter = run(|x, y| appendo(x, y, [1, 2, 3, 4, 5].to_value()));
assert_eq!(
    iter.collect::<Vec<_>>(),
    vec![
        state![(), [1, 2, 3, 4, 5]],
        state![[1], [2, 3, 4, 5]],
        state![[1, 2], [3, 4, 5]],
        state![[1, 2, 3], [4, 5]],
        state![[1, 2, 3, 4], [5]],
        state![[1, 2, 3, 4, 5], ()],
    ],
);

更多示例可以在 tests/ 文件夹和 API 文档中找到。