'Backtracking control' presentation slideshows

pred1(X,Z):-parent(X,Z). pred1(X,Z):-parent(X,Y), pred1( Y, Z).

pred 1 (tom, pat). by rule. pr1. by rule. pr2. parent(tom, Y). parent(tom, pat). pred 1 (Y, pat). no. Y = bob. parent(tom, bob). by fact. pred 1 (bob, pat). by rule. pr1. parent(bob, pat). yes. parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann).

135 views • 7 slides