我对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
答案 0 :(得分:1)
您的实现的问题是永远不会达到printRowValues
的第一个(基本)子句,因为第二个子句不会减少列表以使其更短。它是始终传递的相同列表,因此Prolog解释器永远不会到达基本子句。
您可以通过将base子句更改为使用len/1
谓词来解决此问题:
printRowValues(List, N) :- N is 1 + len(List).
一旦N
达到列表的长度再加上一个(你需要加1,因为你的索引是基于一个的),这将终止。