Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
私はこれらの事実を登録させます(ハゼム、数学)。登録(ハゼム、科学)。などなど、学生(X、ListOfCourses)が必要です。これは、X が取っているコースをリストで返します。
たとえば、findall/3 bagof/3、setof/3 を見てください:
student(X, ListOfCourses) :- findall(Courses, enroll(X, Courses), ListOfCourses).