prolog - 自动显示结果？

Question

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

我不需要所有解决方案的列表，我只想不按分号或空格，这样我就可以让程序在后台打印回溯的解决方案。

Answer 1

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

？-解决方案(S)，writeln(S)，假。

此外，例如在 SWI-Prolog 中，您只需按 SPACE 而不是 ; 即可获得进一步的解决方案。