在实践中，非关系对 core.logic 意味着什么？

Question

在尝试通过 API 文档理解 core.logic 时，我遇到了非关系目标和关系目标。我不知道这在实践中意味着什么，以及为什么注释目标是否是相关的很重要。

您能否举例说明目标的使用方式取决于它们是否是相关的？

Answer 1

为了解释非关系的含义，我们需要重新审视relational 的含义。

如果你在函数式编程中考虑纯函数，它们总是返回一个值，对于相同的输入参数，返回相同的输出值。

比如说：

 f(x) = x + 2

对于输入值3，此函数始终返回5。

但是有很多情况是函数不合适，作为平方根，有 2 个结果。

 sqrt(4) => 2 and -2

或将一个数除以零，没有结果

将关系视为广义函数，您有：

• 任意数量的结果（零个或多个）
• 非确定性
• 每次调用的输入/输出参数可能不同
• 如果关系为真，则关系返回 true，否则返回 false。

为了将函数转换为关系，我们将结果设置为新参数：

(cons 1 [2]) => [1 2]

(conso 1 [2] [1 2]) => true

但是现在conso 可以用作一个生成器，如果一个参数是一个变量：

 (run 1 [x]
    (conso 1 [2] x)) => ([1 2])

 (run 1 [x]
    (conso 1 x [1 2])) => ([2])

在逻辑编程中，统一回答了这个问题：世界应该是什么样子才能满足这种关系？

non-relational 运算符或函数是不作为关系但作为简单函数工作的运算符，因此不可能将任何参数作为变量进行统一。

这发生在 > 和 < 等运算符上，然后在命名空间 clojure.core.logic.fd 中引入有限域上的 CLP。

您可以在 Ambrose Bonnaire-Sergeant 的 this talk 中找到许多概念。