Prolog Visualizer
- 3. Step 0 of 144 This is where you start Step 1 of 144
- 4. Step 0 of 144 Initial goal A copy of the program Step 1 of 144
- 5. Step 0 of 144 Dashed box indicates the current state of the search Step 1 of 144
- 6. Step 0 of 144 Unifying Step 2 of 144
- 7. Step 0 of 144 Unification failed because the names of the clauses are different Step 3 of 144
- 8. Step 0 of 144 Failed rules are crossed out Step 4 of 144
- 9. Step 0 of 144 These rules failed too Step 16 of 144
- 10. Step 0 of 144 But not this rule Step 17 of 144
- 11. Step 0 of 144 substitution before after Applying the substitution, you get a new rule This rule unifies with the goal Step 18 of 144
- 12. Step 0 of 144 Current goal is duplicated here for better readability Step 18 of 144
- 13. Step 0 of 144 Body of the rule after substitution Step 19 of 144
- 14. 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
- 15. Step 0 of 144 The grey path shows where you came from current goal is in bold Step 20 of 144
- 16. Step 0 of 144 Unifying Step 21 of 144
- 17. Step 0 of 144 This rule also succeeds Step 22 of 144
- 18. This is a partial solution If 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
- 19. Current state has changed Step 24 of 144
- 20. Unifying Step 28 of 144
- 21. Succeeded Step 29 of 144
- 22. This leads to a solution Step 31 of 144
- 23. Backtrack Step 44 of 144
- 24. More solutions… Step 66 of 144
- 25. …