FPF:UIMOIBK057 Practicum in Logic Programming - Course Information
UIMOIBK057 Practicum in Logic Programming
Faculty of Philosophy and Science in OpavaSummer 2025
- Extent and Intensity
- 0/0/0. 2 credit(s). Type of Completion: z (credit).
- Teacher(s)
- RNDr. Šárka Vavrečková, Ph.D. (seminar tutor)
Ing. Tomáš Vícha (seminar tutor) - Guaranteed by
- RNDr. Šárka Vavrečková, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - Prerequisites
- Logic and Logic Programming
- Course Enrolment Limitations
- The course is also offered to the students of the fields other than those the course is directly associated with.
- fields of study / plans the course is directly associated with
- Information and communication technologies (programme FPF, MOI)
- Course objectives
- We build on the Logic and Logic Programming course and focus on programming techniques in the logic programming language Prolog.
- Learning outcomes
- Students will be able to:
- identify basic PROLOG data types;
- define facts and rules of specific simple examples;
- use recursive list functions, arithmetic and other built-in PROLOG functions; - Syllabus
- 1. Prolog programming language. Specifics, clause forms, facts, rules, queries.
- 2–3. Prolog syntax. Resolution, use of recursion.
- 4.–5. Arithmetic and logical operations, testing data types. Calculations and recursion.
- 6. Inputs and outputs.
- 7.–9. Lists, operations on lists.
- 10.–11. Use of lists, permutations, array simulation, sorting algorithms, graph simulation.
- 12–13. Advantages of declarative programming in solving various types of problems.
- Teaching methods
- Tutorials in a computer lab
- Assessment methods
- Credit:
1. Compulsory attendance at seminars min. 75%.
2. Written form of verification of study results. - Language of instruction
- Czech
- Further comments (probably available only in Czech)
- Information on the extent and intensity of the course: 8 hod/sem.
- Enrolment Statistics (Summer 2025, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2025/UIMOIBK057