I050 Logic programming II

Faculty of Informatics
Spring 2001
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). 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
prof. PhDr. Karel Pala, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: prof. RNDr. Luděk Matyska, CSc.
Timetable
Thu 9:00–10:50 B411
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
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
Further comments (probably available only in Czech)
The course is taught once in two years.
The course is also listed under the following terms Spring 1997, Spring 1999.
  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/spring2001/I050