重定向标准输出流

Question

如何将 SWI-Prolog REPL 中 listing/0 的输出写入文件？

?- listing > file.txt.

Answer 1

您可以打开一个文件进行写入并将 current_ouput 重定向到它，如下所示：

?- current_output(Orig), % save current output
   open('file.txt', write, Out),
   set_output(Out),
   listing,
   close(Out),
   set_output(Orig). % restore current output

或者，SWI-Prolog 提供了一个谓词 with_output_to/2，可用于为一个目标重定向当前输出。请务必阅读文档，但简而言之：

?- open('file.txt', write, Out),
   with_output_to(Out, listing),
   close(Out).

现在 listing/0 的输出将写入 file.txt。但请记住，那里会有很多东西。您可能想对特定谓词使用 listing/1？在这种情况下，使用 clause/2 and portray_clause/2 是另一种选择，特别是如果您希望更好地控制写入文件的内容和方式。我猜 listing 仅供交互使用。

重定向标准输出流

Redirecting standard output stream

file-io

prolog

prolog-toplevel