Backtracking Chaining
Download as PPTX, PDF0 likes389 views
The document discusses several concepts in Prolog including backtracking, unification, recursion, and finding routes between towns. It provides examples of backtracking execution on a simple location database and checking supervisors. It also demonstrates using recursion to find lengths of lists and sums of list elements, as well as finding routes between towns by chaining roads.
![•mylength([],0).
•mylength([_|Tail], Len) :• mylength(Tail, TailLen),
• Len is TailLen + 1.](https://image.slidesharecdn.com/backtracking-131120150017-phpapp02/85/Backtracking-Chaining-14-320.jpg){kind=tracking}
![•sum([],0).
•sum([Head|Tail],X):• sum(Tail,TailSum),
• X is Head+TailSum.](https://image.slidesharecdn.com/backtracking-131120150017-phpapp02/85/Backtracking-Chaining-15-320.jpg){kind=tracking}
Backtracking Chaining
- 7. backtracking execution • • • • • • • • location(desk, office). location(apple, kitchen). location(flashlight, desk). location('washing machine', cellar). location(nani, 'washing machine'). location(broccoli, kitchen). location(crackers, kitchen). location(computer, office). • • location(apple, kitchen).
- 10. backtracking execution • • • • • • • • • clerk(mohamed). clerk(adam). typist(ali). manager(salih). manager(omar). super(X,Y):- manager(X), clerk(Y). super(X,Y):- clerk(Y), typist(Y). super(X,Y):- manager(X), typist(Y). super(Super,ali). •
- 13. Built-in pattern matching • If .. Then •
- 14. •mylength([],0). •mylength([_|Tail], Len) :• mylength(Tail, TailLen), • Len is TailLen + 1.
- 15. •sum([],0). •sum([Head|Tail],X):• sum(Tail,TailSum), • X is Head+TailSum.