UIINK56 Practicum in Logic Programming

Faculty of Philosophy and Science in Opava
Summer 2025
Extent and Intensity
0/8/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 offered to students of any study field.
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
Seminars 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)
The course can also be completed outside the examination period.
Information on the extent and intensity of the course: Cvičení 8 HOD/SEM.
The course is also listed under the following terms Summer 2020, Summer 2021, Summer 2022, Summer 2023, Summer 2024.
  • Enrolment Statistics (Summer 2025, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2025/UIINK56