Prolog打印阵列失败

时间:2013-11-23 16:15:54

标签: prolog

我对Prolog很新,我遇到了以下问题:

我代表一个二维数组如下:

[[ROW1], [ROW2],..]

我写了一个谓词来打印出二维数组,如下所示:

valueAt(1, [BEGIN | _], BEGIN).
valueAt(POSITION, [FIRST | REST], VAL) :- NPOS is POSITION - 1,
                                          valueAt(NPOS, REST, VAL). 

printRowValues([], _).
printRowValues(ROW, STARTIDX) :- valueAt(STARTIDX, ROW, VALUE),
                                 print(VALUE), print(' '),
                                 NEXTIDX is STARTIDX + 1,
                                 printRowValues(ROW, NEXTIDX).

printContainer(CONTAINER) :- printRows(CONTAINER, 1).

printRows([]).
printRows([ROW | REST]) :- printRowValues(ROW, 1),
                           printRows(REST).

这会打印第一行,然后只显示false。我真的没有在这里看到我的问题..

PS:printRowValues函数使用索引,因为我用它来测试我的valueAt函数。我知道我可以更简单地编写printrow函数(见下文),但这不是重点。我在这里缺少一些Prolog知识。

使整个过程更有效的更简单版本:

printRow([]).
printRow([HEAD | REST]) :- print(HEAD), print(' '),
                           printRow(REST).  

示例查询:

[debug] [1] 41 ?- printRows([[1, 1, 1], [2, 2, 2], [3, 3, 3]]).
1 1 1 
false

1 个答案:

答案 0 :(得分:1)

您的实现的问题是永远不会达到printRowValues的第一个(基本)子句,因为第二个子句不会减少列表以使其更短。它是始终传递的相同列表,因此Prolog解释器永远不会到达基本子句。

您可以通过将base子句更改为使用len/1谓词来解决此问题:

printRowValues(List, N) :- N is 1 + len(List).

一旦N达到列表的长度再加上一个(你需要加1,因为你的索引是基于一个的),这将终止。