FI:I050 Logic programming II - Course Information
I050 Logic programming II
Faculty of InformaticsSpring 1999
- Extent and Intensity
- 2/0. 2 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
- I013 Logic Programming I
Passing through the lecture I013 Logic Programming I 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
- Advanced programming techniques in Prolog. Queues, lists, enumeration; cuts, all solutions. DCG grammars.
- Alternative computational models -- bottom up versus top down. Databaze operations and their use to evaluate logic programs. Magic sets and transformations.
- Abstract interpretation. Program transformation. Global analysis, analysis of computational independence of program parts.
- Parallel logic programming, ANDORA princip
- Implementation. derivation of individual instructions, abstract machine. Implementation of parallel logic programming languages. Special constructions (blocks, events, ...).
- Constraint logic programming, theoretical foundations, over-constrained systems, generalized propagation.
- Literature
- sborníky ILP, ISLP a další z posledních let
- AÏT-KACI, Hassan. Waren's abstract machine : a tutorial reconstruction. Cambridge: Massachusetts Institute of Technology, 1991, 114 s. ISBN 0262510588. info
- O'KEEFE, Richard A. The Craft of Prolog. Cambridge: Massachusetts Institute of Technology, 1990, 387 s. ISBN 0262150395. info
- 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/I050