prolog - 如何在 swipl 上运行 prolog 并一次性返回所有痕迹

Question

1：如果一个查询即。a(X).返回多个答案，如何让程序一次性返回所有答案和跟踪。

2：如何自动运行程序，即a(X).在我将.pl文件加载到 swipl 时打印所有答案，即在命令之后

% swipl -f foo.pl

然后它返回所有答案X

谢谢

Answer 1

你需要皮带和跟踪

swipl -s f.pl -g "leash(-all),trace,numbers(X),print(X),nl,fail." -t halt
% /home/carlo/.plrc compiled 0.04 sec, 1,439 clauses
% /home/carlo/prolog/f.pl compiled 0.00 sec, 2 clauses
   Call: (6) numbers(_G1453)
   Call: (7) between(1, 10, _G1453)
   Exit: (7) between(1, 10, 1)
   Exit: (6) numbers(1)
   Call: (6) print(1)
1
   Exit: (6) print(1)
   Call: (6) nl

   Exit: (6) nl
   Call: (6) fail
   Fail: (6) fail
   Redo: (7) between(1, 10, _G1453)
   Exit: (7) between(1, 10, 2)
   Exit: (6) numbers(2)
   Call: (6) print(2)
2
   Exit: (6) print(2)
...

Answer 2

这是一个带有简单子句的简单文件：

$> cat f.pl
numbers(X) :-
  between(1,10,X).

您可以使用-g选项来设定目标：

$> swipl -s f.pl -g "numbers(X),print(X),nl,fail." -t halt.
% .../f.pl compiled 0.00 sec, 2 clauses
1
2
3
4
5
6
7
8
9
10