Průsvitky z celé přednášky a cvičení

Úvod do Prologu, syntaxe a význam prologovských programů. Operátory, aritmetika, typy rovností.

Řez, negace, řízení výpočtu. Seznamy.

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

Všechna řešení, predikáty nad termy. 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.

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

Interpret Prologu. Parciální vyhodnocení, Warrenův abstraktní počítač.

Backtracking, unifikace, aritmetika.

Seznamy, řez

Všechna řešení, třídění, rozdílové seznamy

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

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