Question

我在与prolog的任务中遇到了一个问题。

所以，我在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的早期阶段）。

你们有个主意吗？我从各个角度看待这个问题，我被困在这里。

谢谢。

Answer 1

你可以这样写：

returnAllMarks(C,H,L):- setof( (X,Y), mark(C,X,H,Y), L).

示例：

?- returnAllMarks('CSI1120',homework(1),L).
L = [ (33332, 3.5), (33336, 4.0)].

具有复合谓词的setof

1 个答案: