Search
Lectures on logic programming and Prolog mostly follow Flach's book Simply Logical. See an online version or this webpage.
There will be 5 tasks (for 10 points each) assigned during the semester. You submit your solutions through UploadSystem. Late submissions are penalized.
An assessment is awarded if you submit a solution for every task and receive at least 25 points for all your solutions (note that only tasks for which you receive at least 6 points are counted).
The examination consists of two parts a Prolog part and a theoretical part. Students are eligible for a grade only after they receive the assessment for labs. However, they can still attend the exam. The maximal number of points you can receive for the exam is 50.
The Prolog part of the exam is on computers. You can either use your own computer (a preferable option), or one in a lab. You submit your solution through the BRUTE system in a same way as you submitted your tasks. During this part, it is strictly not allowed to use any means of comunication (like social networks, emails, sms, …). On the other hand, you can use your notes and any other documentation.
The theoretical part is in a written form. Computers and any other materials are not allowed for this part.
The final grade is based on the sum of points you receive for labs (max. 50 pts.) and the exam (max. 50 pts.) and follows university regulations: