linux - 将输入文件重定向到 GProlog

Question

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

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

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

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

Answer 1

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

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

如果你想要所有这些：

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