Přednášky předmětu FLP

Funkcionální programování

V Prologovské části kurzu používáme materiály Simply Logical.

No.	Date	Topic
8.	12.4.	Prolog: fakta, pravidla, dotazy, rekurze
9.	19.4.	Funkce a operace se seznamy
10.	26.4.	Prolog a logika: klauzule, Herbrandova báze, interpretace, model, rozhodnutelnost
11.	3.5.	Řez a negace. Mimologické operátory, aritmetika
12a. 12b.	10.5.	Prohledávání v Prologu.
13.	17.5.	Induktivní uvažování v logice
14.	24.5.	tba

Dvě ukázkové otázky ze zkoušky Prologu: ukazka_test_prolog.pdf