在Prolog中显示自动结果？

Question

如何让SWI-Prolog解释器自动执行分号？由于回溯,我有很多结果(大约300个),我不想为所有这些都推分号.

我不想要所有解决方案的列表,我只是不想推分号或空格,所以我可以让程序在背景上打印回溯的解决方案.

Answer 1

您可以手动发出解决方案（例如使用write/1或format/2），并强制回溯false以查看所有解决方案。例如：

?- solution(S), writeln(S), false.

另外，例如在SWI-Prolog中，您可以简单地按SPACE而不是;进一步的解决方案。