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)

在此示例中，逻辑比较(< x y)和q与(+ x y)的尝试绑定都不起作用。我想这是因为我正在使用LVar s，而不是整数，我不能进行这些比较，因为符号尚未绑定。但它适用于prolog：

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

=> Result = 5.

以类似的方式，我可以以某种方式使用Clojure函数（返回布尔值或其他“truthy”值）作为逻辑谓词吗？换句话说，使用函数告诉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")

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

最后，如果有人读过这篇文章，我不妨问一下：是否有计划将概率逻辑纳入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：屏住呼吸，让Constraint Logic Programming进入core.logic！

Answer 2

我相信你必须先将一个逻辑变量“项目”（nonrel / project）绑定到它的绑定，然后再向它应用一个函数：

(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)))))

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

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

2 个答案: