A.I.lab

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== 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
    - ''connected/3''
      * omejiti, da se ne zacikla
      * tretji argument je največja dovoljena globina rekurzije
    - ''connected/4''
      * dodati argument, ki hrani pot med sorodniki
      * ?- connected(vanessa, patrick, 4, Path).
        * ''Path = vanessa-susan-patrick.''

A.I.lab

User Tools

Site Tools

Page Tools