Prolog Visualizer Tutorial

http://www.cdglabs.org/prolog/

Transcript

1. Prolog Visualizer Tutorial
2. Visualization Program Controls Examples
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. …