Example

parent(karen,greg).

parent(joseph,greg).

parent(karen,mark).

parent(joseph,mark).

female(karen).

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

?-mother(karen,X).

X = greg ;

X = mark

• Find the first functor that unifies to the query

• Use the conjuncts on the right of that rule as subgoals

  • Prove them in order
  • If all are true, it is proven
  • Backtrack for additional answers or until failure

Previous slide

Next slide

Back to first slide

View graphic version