如何更改prolog中的'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)没有限制，这就是我猜你正在寻找的。