在Prolog中用给定值填充2D矩阵

% 定义一个二维矩阵
matrix([[_, _, _],
        [_, _, _],
        [_, _, _]]).

% 递归填充矩阵
fillMatrix(Value, Matrix) :-
    fillMatrix(Value, Matrix, 1, 1).

% 边界情况，填充最后一行的最后一个元素
fillMatrix(Value, Matrix, Row, Column) :-
    length(Matrix, NumRows),
    length(Matrix, NumColumns),
    Row =:= NumRows,
    Column =:= NumColumns,
    replaceElement(Matrix, Row, Column, Value, NewMatrix),
    printMatrix(NewMatrix).

% 边界情况，填充最后一行的非最后一个元素
fillMatrix(Value, Matrix, Row, Column) :-
    length(Matrix, NumRows),
    length(Matrix, NumColumns),
    Row =:= NumRows,
    Column < NumColumns,
    replaceElement(Matrix, Row, Column, Value, TempMatrix),
    NextColumn is Column + 1,
    fillMatrix(Value, TempMatrix, Row, NextColumn).

% 边界情况，填充非最后一行的最后一个元素
fillMatrix(Value, Matrix, Row, Column) :-
    length(Matrix, NumRows),
    length(Matrix, NumColumns),
    Row < NumRows,
    Column =:= NumColumns,
    replaceElement(Matrix, Row, Column, Value, TempMatrix),
    NextRow is Row + 1,
    fillMatrix(Value, TempMatrix, NextRow, 1).

% 递归填充非最后一行的非最后一个元素
fillMatrix(Value, Matrix, Row, Column) :-
    replaceElement(Matrix, Row, Column, Value, TempMatrix),
    NextColumn is Column + 1,
    fillMatrix(Value, TempMatrix, Row, NextColumn).

% 替换矩阵中特定位置的元素
replaceElement(Matrix, Row, Column, Value, NewMatrix) :-
    nth1(Row, Matrix, CurrentRow),
    nth1(Column, CurrentRow, _, TempRow),
    nth1(Column, NewRow, Value, TempRow),
    nth1(Row, NewMatrix, NewRow, TempMatrix),
    Matrix = TempMatrix.

% 打印矩阵
printMatrix(Matrix) :-
    maplist(writeln, Matrix).

?- fillMatrix(a, Matrix).
[a, a, a]
[a, a, a]
[a, a, a]
true.