FPF:UIBUC25 Logic programming - Course Information
UIBUC25 Logic programming
Faculty of Philosophy and Science in OpavaSummer 2011
- Extent and Intensity
- 0/2/0. 3 credit(s). Type of Completion: z (credit).
- 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
- Computer science in combination with another discipline (programme FPF, B1803 InDO)
- Computer science in combination with another discipline (programme FPF, B6107 HuSt)
- 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.
- Enrolment Statistics (Summer 2011, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2011/UIBUC25