您如何更改序言中的 'write_options' 以打印一长串？

Question

默认情况下，SICStus Prolog 将仅显示列表的前十个元素（之后显示 ...）。

如何让 Prolog 显示一个长列表的所有元素？我试过：

set_prolog_flag(toplevel_print_options,
    [quoted(true), portray(true), max_depth(100), priority(699)]).

但我收到消息

expected write_option, but found portray(true)

Answer 1

你的问题是选项portray无效，应该是portrayed.

我认为这样可以：

set_prolog_flag(toplevel_print_options,
    [quoted(true), portrayed(true), max_depth(0)]).

max_depth(0) 没有限制，这就是我猜你正在寻找的。