4

我正在尝试编写一个 prolog 程序，该程序可以在二维数组中找到完全被 b 或 w 包围的图块。

例如，给定这样的数据集： 

[
    [b, w, +, +],
    [w, +, w, b],
    [+, w, b, +],
    [+, +, +, b],
]

它将返回另一个变量，其中包含：

[
    [-, -, -, -],
    [-, w, -, -],
    [-, -, -, b],
    [-, -, -, -],
]

也就是说，它用 a 替换了所有被+完全包围的内容，被 a 包围的所有内容也一样，并用 a 替换了其他所有内容。bbw-

任何人都可以就如何构建一个程序来做到这一点提供任何想法吗？

4

2 回答 2

1

这可能会有所帮助：它采用您给出的表示，并返回一个列表，其元素是 [ColumnIndex, RowIndex, Value] 形式的每个元素。然后，您可以使用 member 在特定行/列中查找元素。

encodearray( A, AA ) :- ( A, 0, 0, AA ).
encodearray( [], _, _, [] ).
encodearray( [[]|A], _, R, AA ) :- R1 is R+1, encodeArray( A, 0, R1, AA ).
encodearray( [[A|B]|X], C, R, [[C,R,A]|AA] ) :- C1 is C+1, encodeArray( [B|X], C1, R, AA ).
于 2012-04-09T02:11:53.430 回答
0

有了这个 rep/2 谓词

rep(L0, L1) :-
    rep(b, L0, L1) ;
    rep(w, L0, L1).

rep(E, [E|Ps], [-|Rs]) :-
    rep1(E, Ps, Rs).
rep(E, [X|Ps], [-|Rs]) :-
    E \= X,
    rep(Ps, Rs).

rep1(E, [+|Ps], [E|Rs]) :-
    rep2(E, Ps, Rs).

rep2(E, [+|Ps], [E|Rs]) :-
    rep2(E, Ps, Rs).
rep2(E, [E|Ps], [-|Rs]) :-
    dash(Ps, Rs).

dash([], []).
dash([_|Ps], [-|Rs]) :- dash(Ps, Rs).

以这种方式执行

?- rep([b,+,b,b],L).
L = [-, b, -, -] ;
false.

?- rep([b,+,+,+,+,+,b,+,b],L).
L = [-, b, b, b, b, b, -, -, -] .

?- rep([w,+,+,+,+,+,w,+,b],L).
L = [-, w, w, w, w, w, -, -, -] .

?- rep([b,+,+,+,+,+,w,+,b],L).
false.

?- rep([b,+,+,+,+,+,+,b],L).
L = [-, b, b, b, b, b, b, -] .

?- rep([b,+,+,+,+,+,+,+,b],L).
L = [-, b, b, b, b, b, b, b, -] .

?- rep([b,+,+,w,+,+,w,+,b],L).
L = [-, -, -, -, w, w, -, -, -] .

和一个转置谓词，使 rep/2 能够在列上工作

transpose_col_row([], []).
transpose_col_row([U], B) :- gen(U, B).
transpose_col_row([H|T], R) :- transpose_col_row(T, TC), splash(H, TC, R).

gen([H|T], [[H]|RT]) :- gen(T,RT).
gen([], []).

splash([], [], []).
splash([H|T], [R|K], [[H|R]|U]) :-
    splash(T,K,U).

你可以结合它们来解决你的问题。高温高压

于 2012-04-09T09:07:20.793 回答