Logic Programming 420-IS1-3PL
Course profile: General Academic
Form of study: Full-time studies
Course type: Optional
Year/semester of study: 3 / 6
Prerequisites (sequential system of courses and exams): Items introducing: Introduction to Structural Programming, Introduction to Logic and Set Theory
Lecture: 15h
Laboratory classes: 30h
Teaching methods: Lectures, exercises
ECTS credits: 4
Balance of student workload:
Class attendance:
- lecture 15h
- laboratory classes 30h
Course preparation:
- lecture 8h
- laboratory classes 15h
Homework: 15h
Preparation for tests: 6h
Preparation for the exam: 8h
The total number of hours of exams and tests: 6h
Individual consultation with the teacher: 7h
Student workload:
- that requires direct interaction with the teacher: 52h, 2 ECTS
- that does not require direct interaction with the teacher: 52h, 2 ECTS
Type of course
Mode
Prerequisites
Prerequisites (description)
Course coordinators
Learning outcomes
Learning outcomes:
- knowledge of the basic assumptions of the programming paradigm in logic. KA6_WG4, KA6_WG11
- knowledge of the assumptions and principles of using the Prolog language and its interpreters. KA6_WG4, KA6_WG11
- ability of coding tasks in the language of logic. KA6_UW4, KA6_UW7, KA6_UW16
- ability of using Prolog language interpreters. KA6_UW4, KA6_UW7
- ability of efficient determining relationships between different objects. KA6_KK1
Assessment criteria
General form of assessment: 2 colloquia. Written test.
Bibliography
Bibliography:
- Ulf Nilsson and Jan Maluszynski, "Logic, Programming and Prolog (2ed)", 2012
- On-line documentation of Prolog
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: