prolog visualizer
Post on 11-Jan-2017
4.391 Views
Preview:
TRANSCRIPT
Step 0 of 144
substitutionbefore
after
Applying the substitution, you get a new rule
This rule unifies with the goal
Step 18 of 144
Step 0 of 144
grandfather(X, Y) is replaced by father(X, Z)
and father(Z, Y). these are the new goals
Current state has changed
Step 20 of 144
This is a partial solutionIf X is orville, any Y such that
father(abe, Y) will be a solution
father(Z, Y) is the is new goal. After the substitution (X = oriville, Z = abe), it
becomes father(abe, Y)
Step 23 of 144
top related