prolog - Prolog の回答をファイルに保存する

Question

私は SWI-Prolog で ALEPH 推論エンジンを使用しています。ALEPH が推測して SWI-Prolog コンソールに表示するルールを保存したいのですが、どうすればよいかわかりません。サンプル結果は下の図に示されています。

[Rule 134] [Pos cover = 1 Neg cover = 0]
likes(u9,soccer).
[Rule 135] [Pos cover = 3 Neg cover = 0]
friends(A,u2) :- age(A,adult).
[Rule 136] [Pos cover = 2 Neg cover = 0]
friends(A,u5) :- age(A,adult).
[Rule 137] [Pos cover = 1 Neg cover = 0]
trusts(u1,u5).
[Rule 138] [Pos cover = 1 Neg cover = 0]
trusts(u5,u7).

これらのルールは、次のコマンドで誘導手順を呼び出した後に表示されます:
- read_all(aleph_files)。-誘導します。

これらのルールを txt ファイルに自動的に保存する方法を考えています。