如何将项目保存到Prolog中？

Question

如何保存必要的条款？ 例如，

save_to_file(File) :- 
    tell(File), 
    listing,   
    told. 

保存所有用户规定将File。 但是，我怎样才能保存只有必要的文件？

Answer 1

使用open/3和close/1您可以更安全地定义safe_to_file/1。 否则，在列表/ 0期间发生的中断或错误将 使流打开，允许其他部分意外地写入相同的文件。 所以，

save_to_file(File) :- 
    open(File,write,Stream), 
    with_output_to(Stream, listing), 
    close(Stream). 

更安全。现在，只有列表可以写入该文件。 with_output_to/2 特定于SWI，YAP。

要回到你的问题，在大多数情况下， portray_clause（Stream，Term）将是你真正想要的。