10 Mar 2005
CS 3243 - FOL and Prolog
37
Rules
l
Rules combine facts to increase knowledge
of the system
l
l
son(X,Y):-
l
male(X),child(X,Y).
l
l
X is a son of Y if X is male and
X is a child of Y
