在swi-prolog中將文本寫入內存中的緩衝區？

Question

這幾乎是我想要實現的。

process(P,Txt) :- 
    % do stuff and write messages to Txt, but not to std out. 

start(P) :- 
    process(P,Txt), 
    write(Txt). % now write to std out. 

我可以用SWI-Prolog做這個嗎？有沒有辦法將文本寫入內存中的流，然後輸出該文本？

Answer 1

SWI-Prolog提供了一些非標準但非常有用的功能，可以幫助您完成任務。其中之一是內存文件，可用於臨時緩衝數據。有關詳細信息，請參閱：

http://www.swi-prolog.org/pldoc/man?section=memory-files

另一個選擇可能是使用with_output_to/2內置謂詞，使您可以寫信給例如和原子或串以後可以輸出：

http://www.swi-prolog.org/pldoc/doc_for?object=with_output_to/2