Как изменить «write_options» в прологе, чтобы напечатать длинный список?

По умолчанию 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)

prolog prolog-toplevel
person hassapikos    schedule 11.02.2015    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Ваша проблема в том, что опция portray недействительна, она должна быть portrayed.

Я думаю, что это сделает:

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

с max_depth(0) без ограничений, я думаю, это то, что вы ищете.

person gusbro    schedule 11.02.2015