Pogovor:UL/FRI/UNI-RI/MOS

Iz E-študij, proste zakladnice študentskega znanja

[uredi] Setof vprašanje

Mogoče kdo ve, kako naredis, da ti setof vrne resitve v en list, če ima njen srednji izraz več kot 1 izjavo?
Primer:

setof(X,((win(argentina,X,_));(win(X,argentina,_))),L).

Vrne:
L = [hungary] ;

L = [portugal] ;

L = [croatia] ;

No

Rad pa bi da vrne tole:

L = [portugal, hungary, croatia]

Pri večih izjavah ne znam uporabiti existitential binderja. Sicer lahko vse skupaj oblečemo v findall( findall(X, setof(), L) ), vendar je vse skupaj potem zelo neelegantno.