Prolog-查询输出有限答案

Question

首先-这是课程，因此我无法发布代码。 这更多地是关于prolog如何输出答案而不是“我的代码正确”吗？

我正在创建一个谓词，该谓词在给定边列表的情况下返回图之间的所有简单路径。

例如， paths(a, X)将返回以a开头的所有可能路径。

说我的知识库是：edge（a，b）。 边（b，c）。 边（c，d） 边（d，f）

然后我应该得到X = [[a], [a,b], [a,b,c], [a,b,c,d], [a,b,c,d,f]] -和I做。 问题是，如果输出较长，则不会显示所有可能的输出-输出如下所示：

Paths = [[b],[b,c],[b,c,d],[b,c,d,a],[b,c,d,e],[b,c,d,f],[b,c,d,f|...]] ? 

ÿ

有什么办法可以使我的解释器明确显示所有内容？ 最后一个列表不完整-应该显示[b，c，d，f，g]。 作为记录，我正在使用SICSTUS

Answer 1

您会看到由顶级印刷的缩写答案。 在SICStus中，最顶层的精确打印方式由Prolog标志toplevel_print_options确定，该标志最初是：

| ?- current_prolog_flag(toplevel_print_options, Options).
Options = [quoted(true),numbervars(true),portrayed(true),max_depth(10)] ? ;
no

删除书写集的深度限制（例如，在.sicstusrc ）。

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

（作为一个初学者，宁可避免尽可能多地使用带有副作用的内置插件，即使您仅“使用”印刷字词也是如此。这很容易使您分心。）

Answer 2

当列表变长时，这只是序言的打印习惯，它只会打印一些前缀。 尝试添加一个print(Paths)目标。 那应该显示实际的，非截断的列表。