Please enable JavaScript.

Coggle requires JavaScript to display documents.

20. Logické programování (Logické programovací paradigma (Princip výpočtu,…

- - - - termy - odpovídají, když jsou id. - unifikace = prázdná akce
      - struktury - pokud jsou tvořeny = funktorem + param. si odp. - unifikace dvojic param.
      - T1 - prom a T2 - term - unifikace = substituce T2 za T1
      - jindy neodpovídají, nelze unif.
      - prom - unifikace = ztotožnění
  - - - do šířky
        
        moc místa v paměti (stack overflow)
      - do hloubky
        
        stanovíme způsob výběru dvojce klauzulí - rezoluční pravidlo, rezolventu do množ.,...
        
        můžeme se trefit do nekon. větvebez dané klauzule
        
        obvykle (celý strom se neudržuje v paměti)
    - - lineární
        
        rezolvujeme vždy předchozí rezolventu s klauz. z vyvrácené množ. nebo dříve odvozenou rezolventou
        
        korektní + úplná
      - SLD
        
        SLD rezoluční vyvrácení P U {G} pomocí selekčního pravidla R
        
        LD rezoluční vyvrácení <G0, C0>,...,<Gn, Cn> takové, že G=G0, Gn+1= ☐ a R(Gi) je literál rezolvovaný v kroku i
        
        efektivita závislá na
        
        selekčním pravidle R (pomocí něj autom. výběr literálů z cílové klauzule, na které se bude rez.)
        
        způsobu výběru příslušné progr. klauzule pro tvorbu rezolventy - Prolog - první
        
        vybíráme vždy nejlevější literál
        
        SLD strom
        
        SLD strom se substitucí
    - - všechny uzly ohodnoceny klauzulemi
      - kořen ohodnocen cílovou klauzulí
      - všechny uzly: uzel ohodnocen C - paždý potomek ohodnocen klauz. * uplat. rezol. prav. na klauz. C a některou klauzuli báze
  - - - dosud neinstanciovaná proměnná
      - interpret se snaží nalézt
    - - z kroků plyne její hodnota, je s ní svázána
  - - - clovek(X).
    - - upracovany_clovek(X) :- clovek(X, _Vek, Prace), prace(Prace, tezka).
    - - :- clovek(X, _Vek, Prace). ?-rodic(pavla, Dite), rodic(Dite, Vnuk).
- - - - lib. atomická formule; pravidla bez těla
      - muz(honza)
      - Prolog je bere podle pořadí v programu
    - - jePotomek(X, Y) :- jeDite(X, Y)
      - hlava :- telo
    - - z termů
      - muz(honza)
    - - klauzule bez hlavy
      - ?- jeDite(X, monika), muz(X)
    - - proměnná, konstanta, složený term
      - X, honza, 0, s(0)
    - - můžou na ně být navázáhy termy (hodnoty)
      - X, Var, _321, (anonymní: __)
    - - základ Prologu
      - fakt = vztah (každá atom. formule)
      - pravidlo = popis vztahu (jestliže, pak mezi fakty)
      - = klauzule