我习惯使用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