添加标签目标

Question

本目标应列出在绑定到序列的新鲜/地绑定变量中发现的任何 fd 变量。这将避免在邮件列表中出现的某些不直观的行为。

`
(defne weighted-listo [l w]
([() _] (fd/== w 0))
([[h . t] _]

(fresh [n]
  (fd/in n (fd/interval 0 java.lang.Integer/MAX_VALUE))
  (fd/in h (fd/interval 1 java.lang.Integer/MAX_VALUE))
  (fd/+ h n w)
  (weighted-listo t n))))

`

Answer 1

评论由：austinhaas

以下是邮件列表中讨论的链接：https://groups.google.com/forum/#!topic/minikanren/MgcvtkA6_EI

Answer 2

参考：https://clojure.atlassian.net/browse/LOGIC-133 (报告者：dnolen)