Recursive Rules

: all(x,y)(parent(x,y) => ancestor(x,y)).

: all(x,y,z)({ancestor(x,y), ancestor(y,z)} &=> {ancestor(x,z)}).

: parent(John, Mary).

: ancestor(Mary, George).

: ancestor(George, Sally).

: parent(Sally, Jimmy).

Previous slide

Next slide

Back to first slide

View graphic version