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