在prolog中提交的假脱机

时间:2013-04-26 10:55:35

标签: logging swi-prolog spool

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

1 个答案:

答案 0 :(得分:1)

在SWI-Prolog中,它是protocol/1(记录为here