[英]Clojure core.logic generating parents
我有这段代码,可以按照我的意愿进行操作,它递归拉动给定人的父母:
(defn anc [child]
(run* [q]
(conde
[(fresh [?p]
(parento child ?p)
(?== q [child ?p]))]
[(fresh [?p ?gp]
(parento child ?p)
(parento ?p ?gp)
(?== q [ ?p ?gp]))]
[(fresh [?p ?gp ?ggp]
(parento child ?p)
(parento ?p ?gp)
(parento ?gp ?ggp)
(?== q [ ?gp ?ggp]))]
)))
问题是,对于我返回的每一代,我都必须添加一个新测试。
有没有办法在core.logic中对此进行概括?
我尝试了一些方法,希望对您有所帮助:
user=> (defrel parent c p)
user=> (fact parent :b :a)
nil
user=> (fact parent :c :b)
nil
user=> (fact parent :d :c)
nil
user=> (defn anso [c a]
(conde
[(fresh [p x]
(parent c p)
(anso p x)
(appendo [p] x a))]
[(fresh [x]
(parent c x)
(== a [x]))]))
#'user/anso
user=> (last (run* [q] (anso :c q)))
(:b :a)
user=> (last (run* [q] (anso :b q)))
[:a]
user=> (last (run* [q] (anso :d q)))
(:c :b :a)
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.