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

Question

上下文

以下代码无限循环：

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

题：

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

(take 5 (range))

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

Answer 1

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

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