(deffunction WINES::wine-sort (?w1 ?w2)
(< (fact-slot-value ?w1 certainty)
(fact-slot-value ?w2 certainty)))
(deffunction WINES::get-wine-list ()
(bind ?facts (find-all-facts ((?f attribute))
(and (eq ?f:name wine)
(>= ?f:certainty 20))))
(sort wine-sort ?facts))
这是winedemo里的两个方法,只知道它是用于找到事实的地址,但是find-all-facts后面的语句什么意思求解答