Вариант 3 (5)
Тогава решението ще има вида:
solution(Pos):-solve( Pos, [1,2,3,4,5,6,7,8], [1,2,3,4,5,6,7,8], [-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7],[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]).
solve([X/Y|Rest],[X|Dx1],Dy,Du,Dv):- del(Y,Dy,Dy1),U is X-Y, del(U,Du,Du1),V is X+Y, del(V,Dv,Dv1),solve(Rest,Dx1,Dy1,Du1,Dv1).
del(A,[B|L],[B|L1]):-del(A,L,L1).