No. | Date | Topic |
---|---|---|
8. | 2.4 | Prolog as a database: Facts, queries, simple recursion and Prolog search strategy. metro.pl |
9. | 9.4 | Unification, Lists, Proof trees for recursive predicates. |
10. | 16.4 | Cut, Tail-recursion, Efficient programming with cut. |
11. | 23.4 | TEST, Search algorithms I. Map of europe |
12. | 30.4 | Search algorithms II. |
13. | 14.5 | Constraint logic programming + zápočty |