3

我正在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)

项目.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"]])
4

1 回答 1

2

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

与此同时，我重写了后继函数来conso代替llist.

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

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

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

修改后的代码解决了您的问题。

于 2011-12-21T15:38:46.833 回答