UIMOIBP057 Practicum in Logic Programming

Faculty of Philosophy and Science in Opava
Summer 2024
Extent and Intensity
0/2/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
Timetable of Seminar Groups
UIMOIBP057/A: Wed 10:35–12:10 B3b, T. Vícha
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
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.pd
    recommended literature
  • 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
  • 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.
  • 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
Study Materials
The course is also listed under the following terms Summer 2021, Summer 2022, Summer 2023.
  • Enrolment Statistics (recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2024/UIMOIBP057