Turbo Prolog在SWI Prolog中的“保存”模拟

Turbo Prolog在SWI Prolog中的“保存”模拟,prolog,save,swi-prolog,fact,turbo-prolog,Prolog,Save,Swi Prolog,Fact,Turbo Prolog,对于Turbo的保存功能,是否有任何SWI的类似功能,它将事实保存到文件中,以前通过咨询加载,然后通过断言追加?我在手册中没有找到任何类似保存的功能。可以尝试以下更换: % Save whole DB into file save(FileName) :- open(FileName, update, F), with_output_to(S, listing), close(F). 甚至更短: save(FileName) :- tell(FileName), listing

对于Turbo的保存功能,是否有任何SWI的类似功能,它将事实保存到文件中,以前通过咨询加载,然后通过断言追加?

我在手册中没有找到任何类似保存的功能。可以尝试以下更换:

% Save whole DB into file
save(FileName) :-
  open(FileName, update, F),
  with_output_to(S, listing),
  close(F).
甚至更短:

save(FileName) :-
  tell(FileName), listing, told.