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

Všechna řešení, stromy, grafy

Cvičení 2007-05-14 (PDF)

Průsvitky v PDF včetně řešení

Cvičení 2007-05-14 (PostScript)

Průsvitky v PostScriptu včetně řešení

Předchozí

Následující

IB013 Logické programování I
- Nyní studovat
  
  Úvod do Prologu. Syntaxe a význam prologovských programů. Operátory, aritmetika.
- 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.
- Nyní studovat
  
  Všechna řešení, predikáty nad termy, typy rovností. 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.
- Nyní studovat
  
  Semantiky. 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. Prohledavani v CSP.
- Nyní studovat
  
  Implementace Prologu, interpret Prologu, Warrenův abstraktní počítač.
- Nyní studovat
  
  Backtracking, unifikace
- Nyní studovat
  
  Aritmetika, seznamy, řez
- Nyní studovat
  
  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
  
  Všechna řešení, stromy, grafy

Operace

Prohlédnout vše