草莓序言集

Question

我正在使用 Strawberry Prolog（我学校的计算机实验室拥有的）实现一个家谱，并且希望摆脱重复的答案。 findall 函数在 Strawberry Prolog 中工作，它将所有答案放在一个列表中，但我相信此编译器不存在 setof。我可以切换编译器或将 setof-function 添加到这个编译器中。我认为后者会是更好的学习体验，但我不知道从哪里开始。

有谁知道其他编译器中 setof 函数背后的代码以及如何将其转换为 Strawberry Prolog 吗？或者草莓 Prolog 中已经有类似 setof 的函数了吗？

谢谢。

Answer 1

您可以简单地对 findall 的输出进行排序。当然，实现 setof 是一条更有价值的道路，但绝对不简单。这里来自 SWI-Prolog 的来源：

%%      setof(+Var, +Goal, -Set) is semidet.
%
%   Equivalent to bagof/3, but sorts the   resulting bag and removes
%   duplicate answers. We sort  immediately   after  the  findall/3,
%   removing duplicate Templ-Answer pairs early.

setof(Templ, Goal0, List) :-
    '$free_variable_set'(Templ^Goal0, Goal, Vars),
    (   Vars == v
    ->  findall(Templ, Goal, Answers),
        Answers \== [],
        sort(Answers, List)
    ;   findall(Vars-Templ, Goal, Answers),
        (   ground(Answers)
        ->  sort(Answers,Sorted),
        pick(Sorted,Vars,List)
        ;   bind_bagof_keys(Answers,_VDict),
        sort(Answers, Sorted),
        pick(Sorted, Vars, Listu),
        sort(Listu,List) % Listu ordering may be nixed by Vars
        )
    ).

如你所见，基本的它总是 findall...