prolog - 主張された事実を節としてファイルに保存する

Question

私はいくつかの事実を主張するプログラムを持っています。例えば：

apple(red)
dog(browm)
desk(black)

ファイルに句を作成したいと思います。例えば：

  mylife(my):- 
      apple(red),
      dog(browm),
      desk(black).

ファイルtxtに事実を書き込むにはどうすればよいですか?

Answer 1

もっと簡単にすべき ?- tell(a_file), listing(mylife), told.

またformat('~q.~n', [T])（またはwriteq(T)）、役立つ可能性があります。

もちろん、IO の詳細は、実際のニーズによって大きく異なります。データベースが大きく、SWI-prolog を使用している場合は、QLF形式を調べてください。読み込みがかなり速くなりました...

tell/told は単純なツールであり、エラーが発生しやすいことに注意してください。「本番」コードではopen(a_file, write, S), ..., close(S).、エラー処理を行う必要があります ( setup_call_cleanup /3 を参照) 。