Question

我正在尝试打印出包含问题所有解决方案的列表，但是Prolog只给了我部分解决方案，并且正在中间切断：

[[something-something], [something-something], [something-something], [...-...], [...][...].

如何让Prolog打印所有解决方案？

Answer 1

我使用maplist / 2

?- numlist(1,10,L),maplist(writeln,L).
1
2
3
4
5
6
7
8
9
10
L = [1, 2, 3, 4, 5, 6, 7, 8, 9|...].

如果您正在运行SWI-Prolog，则可以指示它避免省略号

?- [user].
|: no_ellipsis :-
|:     current_prolog_flag(toplevel_print_options, V),
|:     select(max_depth(_), V, U),
|:     set_prolog_flag(toplevel_print_options, U).
|: end_of_file.
|: % user://3 compiled 0,05 sec, 1 clauses
true.

?- no_ellipsis.
true .

?- numlist(1,20,L).
L = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20].

这样的规则可以放在启动文件中，（Unix上的〜/ .plrc）

或者您可以使用写谓词

?- numlist(1,20,L),format('~w',[L]).
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]
L = [1, 2, 3, 4, 5, 6, 7, 8, 9|...].

Answer 2

你只需要写出来。 SWI-Prolog中的默认交互式漂亮打印机可以避免输出。那么，如果你现在正在做：

?- foo(X).
X = [[something-something], [something-something], [something-something], [...-...], [...][...].

而是这样做：

?- foo(X), write(X), nl.
... the complete output ...
X = [[something-something], [something-something], [something-something], [...-...], [...][...].

例如：

?- length(X, 10), write(X), nl.
[_G1607,_G1610,_G1613,_G1616,_G1619,_G1622,_G1625,_G1628,_G1631,_G1634]
X = [_G1607, _G1610, _G1613, _G1616, _G1619, _G1622, _G1625, _G1628, _G1631|...].

如何在Prolog中打印出所有解决方案？

2 个答案: