prolog - 矩阵作为矩阵行序言的列表

Question

我必须用这样的术语将矩阵表示为矩阵行的列表，并[[a,b],[c,d]]用 Peano 表示法表示数字。

我必须获得一行矩阵

ow(X,N,C)：C是矩阵X的第N行和矩阵的列

column(X,N,C): C 是矩阵 X 的第 N 列。

也这个 One 分解第一列中的矩阵和矩阵的其余部分（这是完全相同的矩阵，但没有第一列）：

first_column(X,C,R): matrix X is formed by a first column C in
                     front of matrix R. 

有人可以帮我吗？

Answer 1

Peano 符号简化了递归算法的表达。我假设矩阵索引是基于 0 的，并将向您展示如何获得最简单的任务任务。

row([Row|_], 0, Row).
row([_|Rows], succ(N), Row) :- row(Rows, N, Row).

测试（获取第二行，索引为 1）：

?- row([[a,b], [c,d]], succ(0), R).
R = [c, d] ;
false.

这显示了您将用于回答其他两项任务的基本要素。