On 5/10/16 4:47 AM, D.R. Buckley, Jr. wrote:

Z <- {Var & Dec & Pred} :-
findall(Var, maplist(call, [Dec, Pred]), Z).

What happens if you write

Z <- {Var & Dec & Pred} :-
�� �� findall(Var, (Dec, Pred), Z).

This works for me:

?- X = member(Z, [1,2,3,4]), Y = member(Z, [2,4,6,8]),
�� ��findall(Z, (X, Y), L).

L = [2,4],
X = member(Z,[1,2,3,4]),
Y = member(Z,[2,4,6,8]) ?

_______________________________________________
Ciao-users mailing list
Ciao-users@clip.dia.fi.upm.es
http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users