Logic Programming 510-IS1-3PL-23
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: None
Lecture: 15h
Laboratory classes: 30h
Teaching methods: Lectures, presentation
ECTS credits: 4
Balance of student workload:
Class attendance:
- lecture 15h
- laboratory classes 30h
Course preparation:
- lecture 7h
- laboratory classes 14h
Homework: 14h
Preparation for tests: 4h
Preparation for the exam: 8h
Duration of tests: 4h
Duration of the exam: 2h
Individual consultation with the teacher: 3h
Student workload:
- that requires direct interaction with the teacher: 54h, 2,1 ECTS
- that does not require direct interaction with the teacher: 47h, 1,9 ECTS
Type of course
Mode
Requirements
Prerequisites (description)
Course coordinators
Learning outcomes
Learning outcomes:
- knowledge of the basic assumptions of the programming paradigm in logic. KP6_WG4, KP6_WG11
- knowledge of the assumptions and principles of using the Prolog language and its interpreters. KP6_WG4, KP6_WG11
- ability of coding tasks in the language of logic. KP6_UW4, KP6_UW7, KP6_UW16
- ability of using Prolog language interpreters. KP6_UW4, KP6_UW7
- ability of efficient determining relationships between different objects. KP6_KK1
Assessment criteria
General form of assessment: 2 colloquia.
Written exam.
The use of artificial intelligence tools is strictly prohibited during the colloquia and exam.
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: