Question

我正在使用GitHub的core.logic的Peano算术应用程序。当我尝试

(run* [q] (natural-number one))

然而，

Clojure吐出错误

(run 1 [q] (natural-number one))

按预期成功(_.0)。这里有一些实现细节吗？

修改

我正在运行以下代码：

(ns myns.core
  (:refer-clojure :exclude [==])
  (:use [clojure.core.logic]))

(defn s [n]
  "Returns n's succeeding natural number"
  (llist n []))

(def zero 0)
(def one   (s zero))
(def two   (s one))
(def three (s two))
(def four  (s three))
(def five  (s four))
(def six   (s five))

(defn natural-number [x]
  "A relation where x is a natural number"
  (matche [x]
          ([zero])
          ([(s ?x)] (natural-number ?x))))

堆栈跟踪是：

clojure.core.logic.LVar cannot be cast to clojure.lang.IFn
  [Thrown class java.lang.ClassCastException]

0: myns.core$natural_number$fn__177103$_inc__177104$fn__177113$fn__177114$_inc__177115$fn__177116.invoke(core.clj:194)
1: clojure.core.logic.Substitutions.bind(logic.clj:208)
2: myns.core$natural_number$fn__177103$_inc__177104$fn__177113$fn__177114$_inc__177115.invoke(core.clj:192)
3: clojure.core.logic$eval175682$fn__175691$_inc__175692.invoke(logic.clj:808)
4: clojure.core.logic$eval175682$fn__175683$fn__175684.invoke(logic.clj:813)
5: clojure.lang.LazySeq.sval(LazySeq.java:42)
6: clojure.lang.LazySeq.seq(LazySeq.java:67)
7: clojure.lang.Cons.next(Cons.java:39)
8: clojure.lang.LazySeq.next(LazySeq.java:92)
9: clojure.lang.RT.next(RT.java:580)

project.clj

(defproject myns "1.0.0-SNAPSHOT"
   :description "FIXME: write description"
   :dependencies [[org.clojure/clojure "1.3.0"]
                  [org.clojure/core.logic "0.6.7"]])

Answer 1

这看起来像core.logic 0.6.5和0.6.7之间的微妙回归。需要更多调查才能找到问题的根源。

与此同时，我重写了后继函数，使用conso代替llist。

我认为这是更惯用的minikanren / core.logic代码。

s现在需要2个参数：数字和下一个数字。

(run* [q] (s zero one))
;=> (_.0)

revised code解决了您的问题。

为什么运行*不能与core.logic中的自然数一起使用？

1 个答案: