如何在 SWI-Prolog 中扩展结果列表？答案

【问题标题】：How to expand a resulting list in SWI-Prolog?如何在 SWI-Prolog 中扩展结果列表？
【发布时间】：2009-10-06 14:37:23
【问题描述】：

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

如果我在长度谓词之后使用 write(L)，那么解释器会打印列表两次，一次展开，另一次不展开。

【问题讨论】：

标签： list prolog prolog-toplevel

【解决方案1】：

深度有限制，防止输出过长。您可以使用 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].

编辑：您也可以通过从选项列表中删除限制来完全删除它。

【讨论】：

或者在用户家目录下的.plrc文件中设置:- set_prolog_flag(...).。