Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

IB013 Logické programování I

Interaktivní osnova

IB013 Logické programování I

Konzisteční algoritmy II. Prohledávání v CSP.

Přednáška 10 (PDF)

Přednáška 10 (Postscript)

Předchozí

IB013 Logické programování I
- Nyní studovat
  
  Doplňující materiály
- Nyní studovat
  
  Průsvitky z celé přednášky a cvičení
- Nyní studovat
  
  Úvod do Prologu, syntaxe a význam prologovských programů.Operátory, aritmetika, typy rovností.
- Nyní studovat
  
  Řez, negace, řízení výpočtu. Seznamy.
- Nyní studovat
  
  Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup, všechna řešení.
- Nyní studovat
  
  Predikáty nad termy, technika a styl programování.
- Nyní studovat
  
  Průběžná písemná práce. Rezoluce.
- Nyní studovat
  
  Lineární rezoluce, SLD-rezoluce a Prolog.
- Nyní studovat
  
  Semantiky, SLD rezoluce v Prologu.
- Nyní studovat
  
  Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení
- Nyní studovat
  
  CLP(FD): prohledávání. Konzistenční algoritmy.
- Nyní studovat
  
  Konzisteční algoritmy II. Prohledávání v CSP.
- Nyní studovat
  
  Implementace Prologu.
- Nyní studovat
  
  Backtracking, unifikace, aritmetika.
- Nyní studovat
  
  Seznamy, řez
- Nyní studovat
  
  Vstup/výstup, databázové operace, rozklad termu
- Nyní studovat
  
  Všechna řešení, třídění, rozdílové seznamy
- Nyní studovat
  
  Logické programování s omezujícími podmínkami

Operace

Prohlédnout vše