2

据我了解，谓词 setof/3 和 bagof/3 可用于生成问题解决方案的列表。（链接到 gprolog 手册）。

正如预期的那样，以下查询的解决方案是 a、b 和 c。

?- nth(_, [a,b,c], X).                 
X = a ? ;
X = b ? ;
X = c ? ;
yes

现在我试试这个：

?- setof(X, nth(_, [a,b,c], X), ListOfSolutions).
ListOfSolutions = [a] ? ;
ListOfSolutions = [b] ? ;
ListOfSolutions = [c]
yes

在我看来，解决方案应该是 [a,b,c] 。我究竟做错了什么？

我正在为 Mac OS 使用 gprolog 1.4.0。

编辑：解决方案

我真正需要的是 (^)/2 运算符，但是这里给出的答案是完全正确的，非常感谢您的帮助。如果有人有类似的问题，这里是我当前从 3 维网格中选择单元格的代码。

% selectFLR(?Grid, ?ClassId, ?TDayIdD, ?HourId, -ListOfFLR)
% ---------------------------------------------------------
selectFLR(Grid, ClassId, DayId, HourId, ListOfFLR) :-
    bagof(FLR, ClassId^DayId^HourId^selectSingleFLR(Grid, ClassId, DayId, HourId, FLR), ListOfFLR).

selectSingleFLR(Grid, ClassId, DayId, HourId, FLR) :-
    nth(ClassId, Grid, Class),
    nth(DayId, Class, Day),
    nth(HourId, Day, FLR).
4

2 回答 2

2

不，不应该。nth(_,[a,b,c],X) 每次都给出 X 的 1 个解。setof（和 bagof）的工作方式如下：

setof(Things, GoalCondition, Bag)

如果您将 Things 指定为 X，并且来自 nth/3 的 X （如您在上面的示例中所示）每次只是一个变量，则 setof 将只创建该单个变量的列表。其他可能的统一也是可能的，但它只会制作一个包含 1 件物品的袋子，每次都在 Things 中。

正式：谓词 bagof 和 setof 为目标中自由变量的单个绑定产生集合。setof 产生一个没有重复的集合的排序版本...... findall 就像 bagof 一样，所有自由变量都自动存在量化。此外 findall 返回一个空列表 [] 没有目标满足，而 bagof 失败。

长话短说：使用 findall :P

于 2011-06-10T17:12:14.103 回答
1

试试这样写：

findall((A,B,C,D,E), coursemeetings(A,B,C,D,E),L)
于 2012-04-21T22:26:13.267 回答