numero(1..n). %%% Function %%% queen( riga , colonna) %%% per ogni colonna esiste una ed una sola riga 1{queen(I,J) : numero(I)}1 :- numero(J). %%% Horizontal :- queen(I,J), queen(I,J1), numero(I;J;J1), %%% J