Sledenje poizvedbam

  1. 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
  2. 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!
  3. 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.