| No. | Datum | |
|---|---|---|
| 1. | 21.2 | 22.2 |
| 2. | 28.2 | 29.2 |
| 3. | 7.3 | 8.3 |
| 4. | 14.3 | 15.3 |
| 5. | 21.3 | 22.3 |
| 6. | 28.3 | 29.3 |
| 7. | 4.4 | 5.4 |
| No. | Datum | Téma | |
|---|---|---|---|
| 8. | 11.4 | 12.4 | Test from functional part, Prolog as a database |
| 9. | 18.4 | 19.4 | Unification, Lists. |
| 10. | 25.4 | 26.4 | Cut, Tail-recursion, Efficient programming with cut. |
| 11. | 9.5 | 3.5 | Search algorithms. |
| 13. | 16.5 | 10.5 | Test from the logic part, proof trees for recursive predicates. |
| 14. | 23.5 | 24.5 | Term manipulation, advanced algorithms. |