存储对文件的Prolog应答

我在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).

这些规则在使用以下命令调用归纳过程后显示：
-全部读取（aleph_文件）。 -诱导

---

现在我想知道如何将这些规则自动存储到txt文件中。

我找到了它。只需要说：

write_rules(FileName).

---

@虚假见@muhuk：你是对的！非常感谢。我回滚了我的回滚。