我是prolog的新手,我想通过限制解决难题Akkoy。 到目前为止,我已经能够实现可以绘制的细胞,但我不知道如何强制白色区域具有相同的区域。
目前在解决问题时,prolog给出了两个答案,但我只想要第一个答案。
akkoy_solver(Rows, Cols) :-
length(Rows, X),
length(Cols, Y),
make_grid(Grid, X, Y, Vars),
reset_timer,
solver(Rows, Cols, Grid),
label(Vars),
printAkkoy(Grid, Rows, Cols),
print_time,
statistics, nl.