Turbo Prolog在SWI-Prolog中的"保存"类似物

Question

Turbo的save函数是否有类似的SWI，该函数保存到文件事实中，之前通过consult加载，然后通过assert附加？

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.