Úvod do Prologu. Syntaxe a význam prologovských programů. Operátory, aritmetika.

Optimalizace posledního volání, rozdílové seznamy. Databázové operace, vstup a výstup.

Všechna řešení, predikáty nad termy, typy rovností. Technika a styl programování.

Průběžná písemná práce. Predikátová logika 1.řádu, modely.

Rezoluce, lineární rezoluce a Hornovy klauzule.

SLD-rezoluce: popis a vlastnosti, Prolog, řez.

Semantiky. SLDNF rezoluce.

Splňování podmínek, od LP k CLP. CLP(FD): základní typy omezení, globální podmínky.

Labeling. Konzistenční algoritmy. Prohledavani v CSP.

Implementace Prologu, interpret Prologu, Warrenův abstraktní počítač.

Backtracking, unifikace

Aritmetika, seznamy, řez

Třídění, rozdílové seznamy

Vstup/výstup, databázové operace, rozklad termu

Logické programování s omezujícími podmínkami

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