Prolog中的setof

Question

setof在Prolog中的源代码是什么？

- sachin agarwalla

---

你在寻找特定的实现吗？我在我的回答中使用了SWI-Prolog，但如果您愿意，我可以给您另一个实现。 - Rafe Kettler

Answer 1

?- listing(setof).
:- meta_predicate setof(?,0,-).

setof(A, B, F) :-
    free_variable_set(A, B, D, C),
    (   C==v
    ->  findall(A, D, E),
        E\==[],
        sort(E, F)
    ;   findall(C-A, D, E),
        (   ground(E)
        ->  sort(E, G),
        pick(G, C, F)
        ;   bind_bagof_keys(E, _),
        sort(E, G),
        pick(G, C, H),
        sort(H, F)
        )
    ).

true.

- ДМИТРИЙ МАЛИКОВ

Answer 2

如果您正在寻找Sicstus内置谓词实现，可以在此处找到：http://www.sics.se/sicstus/docs/4.2.1/html/sicstus/mpg_002dref_002dsetof.html。

setof(+Template, +Generator, -Set)

与findall/3和bagof/3不同，setof不返回重复项并按排序顺序返回结果。

I.

- panza