Spool to file in 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)