SWI-Prolog里面利用Aleph用induce推理出规则后，怎么储存这些规则？

[theory]

[Rule 1] [Pos cover = 4 Neg cover = 0]
grandparent(A,B) :-
father(A,C), father(C,B).

[Rule 2] [Pos cover = 4 Neg cover = 0]
grandparent(A,B) :-
father(A,C), mother(C,B).

[Rule 3] [Pos cover = 4 Neg cover = 0]
grandparent(A,B) :-
mother(A,C), father(C,B).

[Rule 4] [Pos cover = 4 Neg cover = 0]
grandparent(A,B) :-
mother(A,C), mother(C,B).

//这些事推理出来的规则
//我尝试用write_rules(Filename).去储存，但是它提示我“Correct to: "aleph:write_rules(wow)"?” 是我没掌握好它的用法吗，是的话可以方便解释一下吗