Rules
l
Rules combine facts to increase knowledge
of the system
son(X,Y):-
male(X),child(X,Y).
l
X is a son of Y if X is male and
X is a child of Y
37
