将输入文件重定向到GProlog

Question

我正在尝试使用IO重定向通过文本文件向gprolog发送一组查询。文件input.txt看起来效果如下：

consult(rules).
dog(X).
halt.

每当我通过gprolog < input.txt在命令行将此文本文件重定向到gprolog时，我的终端会以重复行Action (; for next solution, a for all solutions, RET to stop) ?

炸毁

我已尝试在dog(X).和halt.之间插入回车/换行符，但这似乎没有任何效果。建议将不胜感激。谢谢！

Answer 1

如果您只需要一个解决方案，请尝试：

consult(rules).
dog(X), !.
halt.

如果你想要所有这些：

consult(rules).
findall(X, dog(X), List).
halt.