PPT Slide

RECURSIVE RULES

parent( john , mary ) .

parent( mary , bill ) .

parent( bill , sue ) .

ancestor( X , Y ) : - parent( X , Y ) .

ancestor( X , Y ) : - parent( X , Z ) ,

ancestor( Z , Y ) .

| ? - ancestor( john , sue ) .

Parent( john , sue ) X

parent( john, Z ) , ancestor( Z , sue )

parent( john , mary ) , ancestor( mary , sue )

parent( mary , sue ) X

parent( mary , Z ) , ancestor( Z , sue )

parent( mary , bill ) , ancestor( bill , sue )

parent( bill , sue )

yes

P.16

Previous slide

Back to first slide

View graphic version