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

Question

Turbo的保存功能是否有任何SWI的类似物，它保存到文件事实中，之前通过咨询加载，然后通过断言附加？

Answer 1

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

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

甚至更短：

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