IB013 Logické programování I

Prohledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.

Přednáška 11 (PDF)

Přednáška 11 (Postscript)

Předchozí

Následující

IB013 Logické programování I
- 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. Predikátová logika 1.řádu, modely.
- Nyní studovat
  
  Rezoluce, lineární rezoluce a Hornovy klauzule.
- Nyní studovat
  
  SLD-rezoluce: popis a vlastnosti, Prolog, řez. Semantiky.
- Nyní studovat
  
  SLDNF rezoluce.
- Nyní studovat
  
  Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.
- Nyní studovat
  
  Labeling. Konzistenční algoritmy.
- Nyní studovat
  
  Prohledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.
- Nyní studovat
  
  Interpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.
- Nyní studovat
  
  Backtracking, unifikace, aritmetika.
- Nyní studovat
  
  Seznamy, řez
- Nyní studovat
  
  Všechna řešení, třídění, rozdílové seznamy
- Nyní studovat
  
  Vstup/výstup, databázové operace, rozklad termu
- Nyní studovat
  
  Logické programování s omezujícími podmínkami
- Nyní studovat
  
  Stromy, grafy

Operace

Prohlédnout vše

Interaktivní osnova

Prohledáváni v CSP. Implementace Prologu: abstraktní interpret, reprezentace objektů, řízení výpočtu.

Operace