# Bad rule for testing.
father($X, $Y) :- parent($X, $Y, male($X).
mother($X, $Y) :- parent($X, $Y), female($X).