后台打印到prolog中的文件

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（记录here）