prolog - 如何在 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)这就是我猜你正在寻找的。