[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)"?” 是我没掌握好它的用法吗,是的话可以方便解释一下吗