存储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文件中。

Answer 1

我找到了。只需说：

write_rules(FileName).