You are on page 1of 1

? sol([1/Y1,2/Y2,3/Y3,4/Y4]).

sol([]). Fals
sol([X/Y|Others]):-
sol(Others),
sol([]). Fals
sol([X/Y|Others]):-
sol(Others),
sol([]).Fals
sol([X/Y|Others]):-
sol(Others),
sol([]). Fals
sol([X/Y|Others])
sol(Others),
sol([]) Ver
member(Y,[1,2,3,4])
noattack(X/Y, 0)
member(Y,[1,2,3,4])
noattack
member(Y,[1,2,3,4])
noattack
member(Y,[1,2,3,4]),
noattack

You might also like