UIINK56 Practicum in Logic Programming

Faculty of Philosophy and Science in Opava
Summer 2021
Extent and Intensity
0/8/0. 2 credit(s). Type of Completion: z (credit).
Teacher(s)
Mgr. Marek Menšík, Ph.D. (lecturer)
Guaranteed by
Mgr. Marek Menšík, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava
Prerequisites
TYP_STUDIA ( B )
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
  • 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
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 2022, Summer 2023, Summer 2024.
  • Enrolment Statistics (Summer 2021, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2021/UIINK56