prolog - TurboPrologのSWIでの「保存」アナログ-Prolog

Question

以前にconsultを介してロードされ、次にassertを介して追加されたファクトをファイルに保存する、 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.