loops - Prolog 循环遍历变量结果

Question

我有一个用 Prolog 编写的小程序。目前我可以用

test(X, 1, 4, 5).
write(X).

打印第一个结果
但是如果 X 的结果不止一个，我该如何打印下一个？
谢谢。

Answer 1

使用故障驱动循环:

test(X, 1, 4, 5), writeln(X), fail ; true.

或以更易读的方式使用 forall/2 :

forall(test(X, 1, 4, 5), writeln(X)).

无需构建所有解决方案的列表(这就是 findall/3 的用途)，
除非您需要此列表用于其他用途，而不仅仅是打印出来。

如果您的 Prolog 没有 forall/2然后通过以下方式自己实现:

forall(A, B) :-
    \+ (call(A), \+ call(B)).