我有一个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([])
,它应该列出网格上的所有单元格。例如,对于2x2网格,它将是[0-0, 1-0, 1-1, 0-1]
(顺序无关紧要)。
事实上,我需要这个谓词来构建另一个名为available_steps/2
的谓词,它将生成给定位置的所有可能移动的列表。拥有available_steps(CurrentPos, Visited)
,我将能够蛮力Hunt the Wumpus
游戏,并找到所有可能的黄金路线。
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.