core.logic lvar 上的算术和 clojure 函数

Question

两个相关问题合二为一：

Clojure 的 core.logic 模块可以像普通 Prolog 一样执行算术、逻辑比较等吗？我设想如下：

(defrel points person n) 
(fact :bob 2)
(fact :charlie 3)
(run* [q] (fresh [x y] 
   (points :bob x) 
   (points :charlie y) 
   (< x y) 
   (== q (+ x y))))

=> (5)

在这个例子中，逻辑比较 (< xy) 和 q 到 (+ xy) 的尝试绑定都不起作用。我想这是因为我现在正在使用 LVar，而不是整数，并且我无法进行这些比较，因为符号尚未绑定。但它在序言中起作用：

points(bob, 2).
points(charlie, 3).
?- points(bob, X), points(charlie, Y), Result is X + Y.

=> Result = 5.

以类似的方式，我可以以某种方式使用 Clojure 函数（返回布尔值或其他“真实”值）作为逻辑谓词吗？换句话说，用函数来告诉 Minikanren 哪些术语统一或不统一。大概是这样的：

(defmagic startswithhi-o [v]
  (.startsWith v "hi"))
(defrel person n)
(fact person "bob")
(fact person "hillary")
(run* [q] 
   (fresh [n]
     (person n)
     (startswithhi-o n)
     (== q n)))

=> ("hillary")

如果我尝试这样的事情，我也会收到错误，抱怨 Lvar 没有绑​​定。有办法做到这一点吗？

最后，如果有人读到这里，我不妨问：是否有计划将概率逻辑合并到 core.logic 中，大致如下：

http://dtai.cs.kuleuven.be/problog/？

我没有屏住呼吸，但这太棒了！

Answer 1

通过project可以进行非关系算术。

(run 1 [q]
   (fresh [x y]
        (== x 1)
        (== y 2)
        (project [x y]
                 (== q (+ x y)))))
(3)

我相信给出的 Prolog 示例也是非关系型的。

您问题的后半部分也可以通过 project 解决，但您必须小心，始终输入地面值。

(defn startwith [x]
    (project [x]
         (== true (.startsWith x "hi"))))

PS：请屏住呼吸，等待约束逻辑编程来到 core.logic！

Answer 2

我相信您必须先将逻辑变量“投影”（非相关/投影）到其绑定，然后才能将函数应用于它：

(defrel points person n) 
(fact points :bob 2)
(fact points :charlie 3)
(run* [q] 
  (exist [x y] 
    (points :bob x) 
    (points :charlie y) 
    (project [x y]
      (== true (< x y)) 
      (== q (+ x y)))))

请注意，exist 替代了原始代码片段中的 fresh 以及事实声明的附加参数。