SWI-Prolog - 显示长列表

Question

我正在使用 SWI-Prolog，我正在尝试打印一个列表，但如果该列表有超过 9 个项目 - 它看起来像那样 -

[1, 15, 8, 22, 5, 19, 12, 25, 3|...] 

有没有办法显示整个列表？

Answer 1

看一下：http://www.swi-prolog.org/FAQ/AllOutput。 html

简单的解决方案是在给出答案后键入 w，即：

?- n_queens_problem(10,X).
X = [1, 3, 6, 8, 10, 5, 9, 2, 4|...] [write]
X = [1, 3, 6, 8, 10, 5, 9, 2, 4, 7] 

按下“w”键后，末尾会显示“[write]”，并且完整的解决方案出现在下一行。

Answer 2

我找到了两种方法。

---

1.

?- set_prolog_flag(answer_write_options,[max_depth(0)]).
true.

然后执行打印截断列表的命令。

(set_prolog_flag 文档)

---

2.

?- atom_chars(goodbye_prolog, X) ; true.

(AllOutput 文档)

Put ; true. 在调用结束时会生成一个长列表。然后按键盘上的 w 键。结果是：

?- sudoku([_,_,2,3,_,_,_,_,_,_,_,_,3,4,_,_], Solution); true.
Solution = [4, 1, 2, 3, 2, 3, 4, 1, 1|...] [write]
Solution = [4, 1, 2, 3, 2, 3, 4, 1, 1, 2, 3, 4, 3, 4, 1, 2] ;
true.

Answer 3

如果 prolog 仅返回一个答案，您可以通过键入“; true”使其等待。在谓语之后。然后，如果您按“w”，您将看到文档中编写的整个列表： http://www.swi-prolog.org/FAQ/AllOutput.html

Answer 4

?- createListSomehow(List), print(List), nl.

会做得足够整洁。这就是我所做的。

变体：

?- use_module(library(pprint)). %load a library to do pretty-printing
?- createListSomehow(List), print_term(List,[]), nl.

print_term 的 [] 参数是一个（空）选项列表。有关详细信息，请参阅文档。

Answer 5

如果您希望 SWI-Prolog 默认显示整个列表，您可以将此行添加到您的 init 文件：

:- set_prolog_flag(answer_write_options,[max_depth(0)]).

您可以从 GUI 轻松修改 init 文件（设置 => 用户 init 文件）。