Sisters in SNePSLOG

: sisters({Mary, Sue, Sally}).

: all(x,y)(sisters({x,y}) => {likes(x,y), likes(y,x)}).

: likes(?x,?y)?

LIKES(SUE,MARY)

LIKES(MARY,SUE)

LIKES(SALLY,SUE)

LIKES(SUE,SALLY)

LIKES(MARY,SALLY)

LIKES(SALLY,MARY)

Previous slide

Next slide

Back to first slide

View graphic version