这是一个(希望)简单的逻辑程序,我已经坚持了一段时间.
我在core.logic中有一个由边缘关系表示的DAG,当生成父节点列表时,当我在图中有"菱形"时,我得到重复(我不是在讨论这里的循环).
在这种情况下,有没有办法生成一个明确的父母列表(通过重写父母或类似的东西)？
(defrel edge a b)
(fact edge :a :b)
(fact edge :a :c)
(fact edge :b :d)
(fact edge :c :d)
(defne parento [x y]
([x y] (edge y x))
([x y] (fresh [z]
(edge z x)
(parento z y))))
(run* [q] (parento :d q))
;; => (:b :c :a :a)
我想得到(:b:c:a)并且我想在run*语句中执行它(即将结果包装在一个集合中并不是我的目标).
此外,将"^:tabled"添加到parento似乎可以解决问题,但我不想要tabled介绍的memoization.