prolog - 如何在Prolog中将术语保存到文件？

Question

如何将必要的条款保存到文件中？
例如，

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

将所有用户条款保存到文件 File .
但是我怎样才能只保存必要的条款来归档呢？

Answer 1

您对 safe_to_file/1 的定义使用 open/3 更安全和 close/1 .
否则，listing/0 期间发生的中断或错误会
保持流打开，允许其他部分意外写入同一个文件。
所以，

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

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

回到你的问题，在大多数情况下，
describe_clause(Stream, Term) 将是您真正想要的。