prolog - 检查对角线是否具有相同的值

Question

我正在尝试编写一个谓词来删除外部检查内部对角线是否与序言中的值(int)相同例如:

same_Diagonal([[0,11,54,45],[16,1,6,9],[35,7,1,5],[27,3,9,1]])

是

    [0,11,54,45]
    [16,1,6,9]
    [35,7,1,5]
    [27,3,9,1]

首先，我们去除外部，然后得到

[1,6,9]
[7,1,5]
[3,9,1]

并获取第一个列表的第一个元素的头部，然后递归执行。

[1,5]
[9,1]

我已经成功地移除了外部，因为当我打字的时候

withoutHead([[0,11,54,45],[16,1,6,9],[35,7,1,5],[27,3,9,1]],X).

可以显示成功

X = [[1, 6, 9], [7, 1, 5], [3, 9, 1]].

但是我在比较对角线值时失败了，这是我的代码

% withoutHead(+ ListOfList, -ListOfList)
% parameter1: the ListOfList is input
% parameter2: the ListOfList process output
withoutHead([HeadRow|TailRow],Squares):-
maplist(removeHead,TailRow,Squares).

% removeHead(+List, -List)
% parameter1: the List is each row
% parameter2: the List is tail of each row
removeHead([Head|Tail], Tail).


same_Diagonal([HeadRow|TailRow]):-
    withoutHead([HeadRow|TailRow],[[Diagonal|Tail]|Back]),
    same_Diagonal(Back).

我希望它在我输入正确的输入时返回“true”，但它仍然给出“false”。谁能告诉我这是什么问题？

Answer 1

使用findall/3 和nth1/3，构建一个列表[X1, ..., Xn]，其中 Xi是M中第i个列表的第i项，得到它的尾部D。然后，使用 maplist/2，检查 D 中的所有项目是否都相同 X。

same_diagonal(M) :-
    findall(X, (nth1(I,M,L), nth1(I,L,X)), [_|D]),
    maplist(=(X), D).


?- same_diagonal([[0,11,54,45],[16,1,6,9],[35,7,1,5],[27,3,9,1]]).
true.

?- same_diagonal([[0,11,54,45],[16,1,6,9],[35,7,1,5],[27,3,9,9999]]).
false.