FI:I050 Logické programování II - Course Information

I050 Logické programování II

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

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. Concurrent Constraint Logic Programming.
• Implementation. derivation of individual instructions, abstract machine. Implementation of parallel logic programming languages, ANDORA, PANDORA and other systems. Special constructions (blocks, events, ...).
• Constraint logic programming: practical usability issues.

Language of instruction

Czech

• Enrolment Statistics (Spring 1997, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring1997/I050