Multiple sub-goals

p :- a, b, c.p :- m, f.q :- m, n.r :- q, p.r :- a, n.n.a.

?- r.

Nodes will now

contain multiple sub-goals

each the root of a new tree

q p

Must prove q,

and then prove p

Previous slide

Next slide

Back to first slide

View graphic version