PPT Slide

R U L E S

Rules define new relationships in terms of existing ones.

A rule has the syntax

< head > : - < body >.

The head contains 1 predicate.

The body is a conjunction of predicates, separated by commas.

bird( X ) : - animal( X ), haswings( X ) .

means X( animal( X ) haswings( X ) bird( X ))

can be read

“ X is a bird if X is an animal

and X has wings.

Sister( X, Y ) : - female( X ) ,

sameparents( X , Y ) ,

notequal( X , Y ).

A

V

P.14

Previous slide

Next slide

Back to first slide

View graphic version