6 Oct
2016
6 Oct
'16
12:52 a.m.
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]) ?