les reines

Code Prolog décrivant le CSP des 4 reines

variables([x(1):[1,2,3,4], x(2):[1,2,3,4], x(3):[1,2,3,4], x(4):[1,2,3,4]]).

consistants((x(I),VI),(x(J),VJ)) :-

VI =\= VJ,
I+VI =\= J+VJ,
I-VI =\= J-VJ.