首页 文章

Prolog打印阵列失败

提问于
浏览 次
1

我对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).

这将打印第一行，然后只是给出错误 . 我真的没有看到我的问题..

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
prolog

1 回答

  • 1

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

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

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

    这将在 N 达到列表长度加上一个后终止（您需要加一，因为您的索引是从一开始的） .

    回复于

相关问题