1

我有这些事实注册(hazem,数学)。注册(hazem,科学)。依此类推,我想要学生(X,ListOfCourses)。返回列表中 X 正在学习的课程。

4

1 回答 1

1

看看 findall/3 bagof/3, setof/3,例如:

student(X, ListOfCourses) :-
    findall(Courses, enroll(X, Courses), ListOfCourses).
于 2013-03-31T09:28:59.633 回答