保存Prolog执行的输出

Question

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

Answer 1

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

script <file Name>
run your prolog program
exit

Answer 2

你从未说过你正在使用的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并检查output_file 希望这有帮助