我正在使用 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 文件中。