как стохастически искать королеву в прологе?

Я реализую стохастический поиск в прологе.

код

queens_rand([],Qs,Qs) :- !.
queens_rand(UnplacedQs,SafeQs,Qs) :-
random_sort(UnplacedQs, UnplacedQs1),
select(UnplacedQs,UnplacedQs1,Q),
not_attack(SafeQs,Q,1),
queens_rand(UnplacedQs1,[Q|SafeQs],Qs),
!.
queen_solve_rand(N) :-
alloc(1,N,Ns),
queens_rand(Ns,[], Q),
write(Q), nl.
random_sort([],_) :- !.
random_sort(_,[]) :- !.
random_sort(Xs, Ys) :-
   length(Ys, L),
   rnd_select(Xs,L, Ys),
   write('Ys : '),write(Ys),nl.

remove_at(X,[X|Xs],1,Xs).
remove_at(X,[Y|Xs],K,[Y|Ys]) :- K > 1, 
K1 is K - 1, remove_at(X,Xs,K1,Ys).

rnd_select(_,0,[]).
rnd_select(Xs,N,[X|Zs]) :- N > 0,
length(Xs,L),
I is random(L) + 1,
remove_at(X,Xs,I,Ys),
N1 is N - 1,
rnd_select(Ys,N1,Zs).

not_attack([],_,_) :- !.
not_attack([Y|Ys],X,N) :-
X =\= Y+N, X =\= Y-N,
N1 is N+1,
not_attack(Ys,X,N1).

select([X|Xs],Xs,X).
select([Y|Ys],[Y|Zs],X) :- select(Ys,Zs,X).

но возвращает false. Я плохо понимаю пролог, но я должен его реализовать. и я не могу найти, где не так.


person 윤진수    schedule 08.04.2013    source источник


Ответы (1)


Вам следует удалить это правило: random_sort (_, []): -!.. Это означает, что каким бы ни был первый аргумент, результатом будет [].

person joel76    schedule 08.04.2013
comment
Спасибо. но это бесконечный цикл. - person 윤진수; 08.04.2013