如何在Prolog中使用評估

Question

我對Prolog還是很陌生，我似乎無法全神貫注於它。 我正在嘗試編寫一個謂詞，給定有關大學先決條件的事實，它將能夠在列表中列出所有先決條件。

到目前為止，我有

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

但這是行不通的。 如何使用從遞歸調用中的前提條件獲得的答案？ 還是我要解決所有這些錯誤？

Answer 1

findall/3怎么樣？ 像這樣;

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

上面的Prereqs已統一到所有前提條件的列表中。