Doplňující materiály

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. Rezoluce.

Lineární rezoluce, SLD-rezoluce a Prolog.

Semantiky, SLD rezoluce v Prologu.

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

CLP(FD): prohledávání. Konzistenční algoritmy.

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

Implementace Prologu.

Backtracking, unifikace, aritmetika.

Seznamy, řez

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

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