% nacteni:
/* ['3.3_5.pl']. */

solution(YList) :- sol(YList ,[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]).
sol([],[], _Dy,_Du,_Dv).
sol([Y|YList],[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), sol(YList,Dx1,Dy1,Du1,Dv1).
del(Item,[ Item|List ], List ).
del(Item,[ First | List ],[ First | List1 ]) :- del(Item,List , List1 ).

% demonstracni vypis

start:- 
    write('PROBLEM OSMI DAM III - reseni pomoci seznamu volnych pozic'),nl,
    write('Prvni reseni solution(Solution):'),nl,
    solution(Solution),write(Solution),nl.
?-start.

PROBLEM OSMI DAM III - reseni pomoci seznamu volnych pozic
Prvni reseni solution(Solution):
[1,5,8,6,3,7,2,4]