V Prologovské části kurzu používáme materiály Simply Logical.
| No. | Topic |
|---|---|
| 8. | Prolog: fakta, pravidla, dotazy, rekurze |
| 9. | Funkce a operace se seznamy |
| 10. | Prolog a logika: klauzule, Herbrandova báze, interpretace, model, rozhodnutelnost |
| 11. | Řez a negace. Mimologické operátory, aritmetika |
| 12a. 12b. | Prohledávání v Prologu. |
| 13. | Induktivní uvažování v logice (v LS 2017 nepřednášeno, nebude zkoušeno |
Dvě ukázkové otázky ze zkoušky Prologu: ukazka_test_prolog.pdf