Как создать список доступных шагов в сетке? - PullRequest
Новая
       46

Как создать список доступных шагов в сетке?

0 голосов
/ 10 марта 2019

У меня есть сетка 5x5, которая описывается max_size(5, 5). Мне нужно создать список всех ячеек из этого описания, используя DCG.

Вот код, который у меня есть: 

:- use_module(library(clpfd)).

map_size(5, 5).

natnum(0).
natnum(X) :-
    X #= X0 + 1,
    natnum(X0).

list_all_cells(Visited) -->
    { length(Visited, 25) },
    []. 
list_all_cells(Visited) -->
    [X-Y],
    { map_size(X_max, Y_max),
      natnum(X), natnum(Y),
      X #< X_max, Y #< Y_max,
      maplist(dif(X-Y), Visited) },
    list_all_cells([X-Y|Visited]).

Однако, он не генерирует список и выводит только 4 пары.

Возможный запрос к DCG выглядит как list_all_cells([]), который должен перечислить все ячейки в сетке. Например, это будет [0-0, 1-0, 1-1, 0-1] для сетки 2x2 (порядок не имеет значения).

На самом деле, мне нужен этот предикат для построения другого, называемого available_steps/2, который генерировал бы список всех возможных ходов для данной позиции. Имея available_steps(CurrentPos, Visited), я смогу переиграть Hunt the Wumpus игру и найти все возможные пути к золоту.

1 Ответ

1 голос
/ 10 марта 2019 
list_all_cells(Cells) :-
    bagof(C,cell(C),Cells).

cell(X-Y) :-
    between(0,4,X),
    between(0,4,Y).

Пример выполнения: 

?- list_all_cells(Cells); true.
Cells= [0-0, 0-1, 0-2, 0-3, 0-4, 1-0, 1-1, 1-2, ... - ...|...] [write]  % The letter w was pressed.
Cells= [0-0, 0-1, 0-2, 0-3, 0-4, 1-0, 1-1, 1-2, 1-3, 1-4, 2-0, 2-1, 2-2, 2-3, 2-4, 3-0, 3-1, 3-2, 3-3, 3-4, 4-0, 4-1, 4-2, 4-3, 4-4] ;
true.
...