predmeti:ppj:sledenje_poizvedbam

Sledenje poizvedbam

Predikati trace / debug / spy
- ?- mother(X,george).
  - razloži Call, Exit, Redo, Fail
- ?- ancestor(sally, steve).
  - nariši drevo izvajanja
  - študenti naj poskusijo zamenjati vrstni red pravil in/ali ciljev v ancestor
- ?- connected(frank, elaine).
- ?- connected(john, sally).
  - ta se zacikla
Aritmetika (za connected/3)
- izrazi so strukture
- is izračuna desno stran in prilagodi (= samo prilagodi)
  - ?- A = 3 + 3, A = 6.
  - ?- A is 3 + 3, A = 6.
  - is ne dela v obe smeri!
Naloge
1. connected/3
  - omejiti, da se ne zacikla
  - tretji argument je največja dovoljena globina rekurzije
2. connected/4
  - dodati argument, ki hrani pot med sorodniki
  - ?- connected(vanessa, patrick, 4, Path).
    - Path = vanessa-susan-patrick.

predmeti/ppj/sledenje_poizvedbam.txt · Last modified: 2016/03/21 18:19 by timotej