【问题标题】:list truncation: set_prolog_flag(toplevel_print_options, [max_depth(100)]) having no effect列表截断:set_prolog_flag(toplevel_print_options, [max_depth(100)]) 无效
【发布时间】:2017-06-19 17:57:33
【问题描述】:

所有关于如何禁用列表截断的问题都有使用这个变体的答案:

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

对我来说这不起作用,请参见此处:

?- length(L, 25).
L = [_7572, _7578, _7584, _7590, _7596, _7602, _7608, _7614, _7620|...].

?- set_prolog_flag(toplevel_print_options, [quoted(true), portray(true), max_depth(1000), priority(699)]).
true.

?- length(L, 25).
L = [_7596, _7602, _7608, _7614, _7620, _7626, _7632, _7638, _7644|...].

根据例如this anwer,这应该可以工作:enter link description here

与我的 Prolog 的版本有关。我正在使用SWI-Prolog version 7.4.2 for x86_64-darwin16.5.0。有谁知道为什么这不适用于我的版本以及如何使其工作?

【问题讨论】:

    标签: list prolog truncation prolog-toplevel


    【解决方案1】:

    您需要改用此命令:

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

    toplevel_print_options 替换为answer_write_options

    【讨论】:

      猜你喜欢
      • 2020-07-31
      • 1970-01-01
      • 2017-05-17
      • 1970-01-01
      • 2023-02-24
      • 2015-11-22
      • 2020-12-29
      • 2015-10-20
      • 1970-01-01
      相关资源
      最近更新 更多