Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/linux/27.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Linux 将输入文件重定向到GProlog_Linux_Prolog - Fatal编程技术网
Fatal编程技术网
  • linux/
  • Linux 将输入文件重定向到GProlog

Linux 将输入文件重定向到GProlog

linux prolog

Linux 将输入文件重定向到GProlog,linux,prolog,Linux,Prolog,我正试图使用IO重定向，通过文本文件向gprolog发送一组查询。文件input.txt的效果如下： consult(rules). dog(X). halt. 每当我在命令行通过gprolog

我正试图使用IO重定向，通过文本文件向gprolog发送一组查询。文件input.txt的效果如下：

consult(rules).
dog(X).
halt.
每当我在命令行通过
gprolog
将此文本文件重定向到gprolog时，我的终端就会重复执行
操作（；对于下一个解决方案，a对于所有解决方案，RET to stop）

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

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

consult(rules).
dog(X), !.
halt.
如果您想要所有这些：

consult(rules).
findall(X, dog(X), List).
halt.
如果您只需要一个解决方案，请尝试：

consult(rules).
dog(X), !.
halt.
如果您想要所有这些：

consult(rules).
findall(X, dog(X), List).
halt.
太棒了，你的解决方案解决了我的问题。非常感谢！我会投票赞成你的回答，但我的代表还没有完全同意：/@JohnRuffer：那么你应该接受答案。点击问题文本左侧的复选框。太棒了，你的解决方案解决了我的问题。非常感谢！我会投票赞成你的回答，但我的代表还没有完全同意：/@JohnRuffer：那么你应该接受答案。单击问题文本左侧的复选框。