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

【问题标题】：Turbo Prolog's 'save' analogue in SWI-PrologTurbo Prolog 在 SWI-Prolog 中的“保存”模拟
【发布时间】：2012-03-15 14:42:00
【问题描述】：

Turbo 的 save 功能是否有任何 SWI 的类似物，它保存到文件中，之前通过 consult 加载，然后通过 assert 附加?

【问题讨论】：

【解决方案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.

【讨论】：