setof dans prolog

Question

Quel est le code source de setof dans prolog?

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

Si vous cherchez la Sicstus mise en œuvre des prédicats intégré, il se trouve ici: http://www.sics.se/sicstus/docs/4.2.1/html/sicstus/mpg_002dref_002dsetof.html comme:

setof(+Template, +Generator, -Set) 

Contrairement findall/3 et bagof/3, setof ne retourne pas duplique et donne l'ordre trié.

I.