Prolog-将查询结果放在列表中

Question

我有这些事实 注册（哈齐姆，数学）。 注册（哈齐姆，理科）。等等 而我想拥有 学生（X，ListOfCourses）。返回X列入的课程。

Answer 1

看一下findall / 3 bagof / 3，setof / 3，例如：

student(X, ListOfCourses) :-
    findall(Courses, enroll(X, Courses), ListOfCourses).