FPF:UIINK56 Practicum in Logic Programming - Course Information
UIINK56 Practicum in Logic Programming
Faculty of Philosophy and Science in OpavaSummer 2024
- 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
- PROLOG language course. Basic data types, facts and rules. Recursive list functions, arithmetic and other built-in functions.
- Learning outcomes
- Students will be able to:
- identify basic PROLOG data types;
- define facts and rules of concrete simple examples;
- use recursive list functions, arithmetic and other built-in PROLOG functions; - Syllabus
- 1. General resolution method
- 2. Prolog programming basics
- 3. Facts, rules
- 4. Pattern Matching
- Literature
- required literature
- VAVREČKOVÁ, Šárka. Logika a logické programování, Praktikum z logického programování. Skripta do předmětů. Skripta jsou průběžně aktualizována. Dostupné na: https://vavreckova.zam.slu.cz/obsahy/log2/skripta/logika_komplet.pdf
- recommended literature
- GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-048-6780-825.
- SWI-Prolog Reference Manual [online]. SWI-Prolog.org. Průběžně aktualizováno, platné pro aktuální verzi Prologu. Dostupné na: https://www.swi-prolog.org/pldoc/doc_for?object=manual
- NIEVERGELT, Yves. Logic, mathematics, and computer science: modern foundationswith practical applications. Second edition. New York: Springer. ISBN 978-1-4939-3222-1. 2015. info
- BRATKO, Ivan. Prolog programming for artificial intelligence. 4th ed. New York: Addison-Wesley. ISBN 978-0-321-41746-6. 2012. info
- Teaching methods
- Tutorials in a computer lab
Interactive lectures - 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)
- Study Materials
The course can also be completed outside the examination period.
Information on the extent and intensity of the course: Cvičení 8 HOD/SEM.
- Enrolment Statistics (recent)
- Permalink: https://is.slu.cz/course/fpf/summer2024/UIINK56