如何扩大在SWI-Prolog的一个结果列表？

StackOverflow https://stackoverflow.com/questions/1525995

  •  20-09-2019
  •  | 
  •  

题 

?- length(L,25).
L = [_G245, _G248, _G251, _G254, _G257, _G260, _G263, _G266, _G
269|...].

如果我使用以下的长度谓词写入（L），则解释器打印列表两次，一个膨胀，另一个不是。

有帮助吗？

解决方案

有是在深度，以防止过长输出的限制。可以用set_prolog_flag / 1改变它。

?- length(L, 25).
L = [_G257, _G260, _G263, _G266, _G269, _G272, _G275, _G278, _G281|...].

?- current_prolog_flag(toplevel_print_options, V).
V = [quoted(true), portray(true), max_depth(10), priority(699)].

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

?- length(L, 25).
L = [_G257, _G260, _G263, _G266, _G269, _G272, _G275, _G278, _G281, _G284, _G287, _G290, _G293, _G296, _G299, _G302, _G305, _G308, _G311, _G314, _G317, _G320, _G323, _G326, _G329].

编辑：您也可以完全从选项列表中删除取消该限制

许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top