我在prolog的作业中遇到一个问题。
所以，我在序言中有以下事实数据库：
student(name(doe, [john]), 33332, ['CSI1120'] ).
student(name(doe, [jane]), 33336, ['CSI1120'] ).
evaluation('CSI1120', homework(1), ['Prolog', database ], 5).
mark('CSI1120', 33332, homework(1), 3.5 ).
mark('CSI1120', 33336, homework(1), 4.0 ).
我的目标是创建一个谓词listAllMarks/3，例如
?- returnAllMarks('CSI1120',homework(1),L).
回报：
L= [(33332, 3.5), (33336, 4.0)].
为了解决这个问题，我正在考虑使用 prolog setof/3，所以我提出了以下谓词。
returnAllMarks(C,H,L):- setof(L,mark(C,_,H,X),[L|X]).
这似乎不起作用，谓词总是返回false。我怀疑这可能是因为我对复合谓词使用 setof，但我可能是错的（我仍处于学习 prolog 的早期阶段）。
你们有什么想法吗？我从各个角度看待这个问题，我被困在这里。
谢谢你。