A simple rule

mother(M,C) :- parent(M,C), female(M).

So,

? M,C•((parent(M,C) ? female(M)) ? mother(M,C))

Read “if”

Same Mvariable

Previous slide

Next slide

Back to first slide

View graphic version