FI:I013 Logic Programming I - Course Information
I013 Logic Programming I
Faculty of InformaticsSpring 1999
- Extent and Intensity
- 2/1. 3 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
- Teacher(s)
- prof. RNDr. Luděk Matyska, CSc. (lecturer)
- Guaranteed by
- Contact Person: prof. RNDr. Luděk Matyska, CSc.
- Prerequisites
- I008 Computational Logic &&! U410 Logic Programming for CS
Passing through the lecture I008 Computational Logic is essential. - 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
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- Syllabus
- First order logic, Definite clauses and programs, models, SLD resolution.
- Negation, SLDNF resolution, stratification programs.
- Control of program flow, reduction of program search tree, cut.
- Prolog, basic programming techniques, extra-logical predicates, arithmetics.
- Prolog implementation, Warren Abstract Machine. Implementace Prologu.
- Logic programming and parallelism, concurent systems (Concurrent Prolog, Parlog, GHC).
- Flat parallel logic programming languages.
- Constraint logic programming, combinatorial problems.
- Language of instruction
- Czech
- Further comments (probably available only in Czech)
- The course is taught annually.
The course is taught: every week.
- Enrolment Statistics (Spring 1999, recent)
- Permalink: https://is.muni.cz/course/fi/spring1999/I013