Clojure:laziness + core.logic:无限循环

时间:2012-05-31 23:49:12

标签: clojure clojure-core.logic

上下文

以下代码无限循环:

(defn ex13 []
  (take 5
        (run* [x]
       (listo (lcons `a (lcons `b (lcons `c x)))))))

问题:

这应该是正确的行为吗? (无限循环?)另一方面,代码如:

(take 5 (range))

需要5个元素并打印出来。

1 个答案:

答案 0 :(得分:0)

这可能是一个错误,但是这不是正确的方法,因为run *的结果无论如何都不是真正的懒惰。

(run 5 [x]
   (listo (lcons `a (lcons `b (lcons `c x)))))