如何更改序言中的'write_options'以打印长列表？

Question

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

你如何让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)是没有限制的，这是我猜你正在寻找。