Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Prolog Visualizer

Prolog visualizer tutorial

  • Be the first to comment

  • Be the first to like this

Prolog Visualizer

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

×