Using a Recursive Rule

: ancestor(John, ?y)?

ANCESTOR(JOHN,JIMMY)

ANCESTOR(JOHN,MARY)

ANCESTOR(JOHN,GEORGE)

ANCESTOR(JOHN,SALLY)

Previous slide

Next slide

Back to first slide

View graphic version