UIMOIBP057 Practicum in Logic Programming

Faculty of Philosophy and Science in Opava
Summer 2021
Extent and Intensity
0/2/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
Mgr. Marek Menšík, Ph.D. (seminar tutor)
Guaranteed by
Mgr. Marek Menšík, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava
Timetable of Seminar Groups
UIMOIBP057/A: Thu 7:15–8:50 B4, M. Menšík
Prerequisites
TYP_STUDIA ( B )
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
  • Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
    recommended literature
  • NIEVERGELT, Yves. Logic, mathematics, and computer science: modern foundationswith practical applications. Second edition. New York: Springer, 2015. ISBN 978-1-4939-3222-1. info
  • BRATKO, Ivan. Prolog programming for artificial intelligence. 4th ed. New York: Addison-Wesley, 2012. ISBN 978-0-321-41746-6. info
  • JIRKŮ, Petr and Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. Praha: Oeconomica, 2005. ISBN 978-80-245-0974-7. info
  • Jirků, P. a kol. Programování v jazyku Prolog. SNTL Praha, 1991. 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
The course is also listed under the following terms Summer 2022, Summer 2023, Summer 2024.
  • Enrolment Statistics (Summer 2021, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2021/UIMOIBP057