logging - 假脱机到序言中的文件

Question

我习惯于使用 Oracle PL/SQL，从命令行界面假脱机到文件是一项常见任务。SWI-Prolog 中是否存在这样的功能？

例如，如果我以这种方式与命令行 SWI-Prolog 交互：

- cd prolog
- pl
?- [likes]
%likes compiled 0.00 sec, 4,792 bytes
true.
?- SPOOL_ON_COMMAND C:\temp.txt
true.
?- likes(sam, spaghetti).
true
?- likes(sam, italian).
false
?- SPOOL_OFF_COMMAND
true.
EOF: halt

我希望我在 C:\temp.txt 的文件包含：

?- likes(sam, spaghetti).
true
?- likes(sam, italian).
false

Answer 1

在 SWI-Prolog 中，它是protocol/1（在此处记录）