如何在Prolog中使用評估

Question

我對Prolog非常陌生，似乎無法圍繞它進行思考。我正在嘗試編寫一個謂詞，給定關於大學先決條件的預定事實，將能夠列出列表中的所有先決條件。

到目前爲止，我有

list_prereqs(Course, List) :- 
    prereqs(Course, List), 
    list_prereqs(List, A). 

但是，這是行不通的。我如何使用遞歸調用中從prereq獲得的答案？或者，我是否全力以赴？

Answer 1

findall/3怎麼樣？喜歡這個;

list_prereqs(Prereqs) :- 
    findall(prereqs(Course, List), prereqs(Course, List), Prereqs). 

PrereqsPrereqs以上統一到所有的前提列表中。