保存 Prolog 执行的输出

Question

我正在 Prolog 中运行一个工具，执行后，结果将显示在 Prolog shell 内的屏幕上。如何将此结果复制到另一个文件中？

Answer 1

你从来没有说过你正在使用什么 prolog 解释器。
此代码适用于爱丁堡兼容版本的 Prolog，
就我而言，SWI-Prolog（在 Fedora 上）。

如果你有一个文件 hello.pl:

 hello_world :- write('Hello World!').

然后

consult('hello').
qsave_program(hello,[stand_alone(true),goal(hello_world)]).

退出解释器并在 shell 中：

$chmod +x hello
./hello > output_file

完成后它不会返回到 shell，所以你需要找到一种方法来检查你的程序是否完成执行，然后 Ctrl-d 和检查你的输出文件
希望这有帮助

Answer 2

从命令行您可以执行以下操作：

script <file Name>
run your prolog program
exit