Clojure：懒惰 + core.logic：无限循环

【问题标题】：Clojure: laziness + core.logic: infinite loopClojure：懒惰 + core.logic：无限循环
【发布时间】：2012-05-31 23:49:11
【问题描述】：

上下文

以下代码无限循环：

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

这应该是正确的行为吗？（无限循环？）另一方面，代码如下：

(take 5 (range))

获取 5 个元素并将它们打印出来。

【问题讨论】：

【解决方案1】：

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

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

【讨论】：