UIBUC25 Logic programming

Faculty of Philosophy and Science in Opava
Summer 2012
Extent and Intensity
0/2/0. 3 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
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
Fundamentals of the Prolog programming language. Basic data types in Prolog, facts and rules. Creating knowledge bases. Common recursive program structures, especially for list processing. Arithmetic and other built-in functions.
Language of instruction
Czech
Further Comments
The course can also be completed outside the examination period.
The course is also listed under the following terms Summer 2011, Summer 2013, Summer 2014.
  • Enrolment Statistics (Summer 2012, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2012/UIBUC25