IA050 Logic programming

Faculty of Informatics
Spring 2006

The course is not taught in Spring 2006

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)
doc. Mgr. Hana Rudová, Ph.D. (lecturer)
prof. RNDr. Luděk Matyska, CSc. (lecturer)
Guaranteed by
prof. Ing. Václav Přenosil, CSc.
Department of Machine Learning and Data Processing – Faculty of Informatics
Contact Person: doc. Mgr. Hana Rudová, Ph.D.
Prerequisites
! I050 Logic programming II
Passing through the lecture IB013 Logic Programming 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
there are 6 fields of study the course is directly associated with, display
Course objectives
The lecture is aimed for students with deep interest in Logic Programming. It focuses to the specific research or application areas of LP, or to the border cases: the subjects discussed are deductive databases, abstract interpretation, constraint logic programming, agent systems, and parallel logic programming.
Syllabus
  • Advanced programming techniques in Prolog, data structures.
  • Alternative computational models -- bottom up versus top down. Database 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 and concurrent logic programming.
  • Constraint logic programming: variety of constraint solvers, soft constraints, concurrent constraints.
  • Agent systems and logic programming.
  • Implementation, derivation of individual instructions, abstract machine. Implementation of constraint logic programming languages.
  • Trends and current areas in logic programming.
Literature
  • O'KEEFE, Richard A. The Craft of Prolog. Cambridge: Massachusetts Institute of Technology, 1990, 387 s. ISBN 0262150395. info
  • Deductive Databases and Logic Programming. Wokingham: Addison-Wesley Publishing Company, 1992, 432 s. ISBN 0-201-56897-7. info
  • TURINI, Franco and Krzysztof R. APT. Meta-logics and logic programming. Cambridge: MIT Press, 1995, xiv, 339. ISBN 0262011522. info
  • The MIT Press Series in Logic Programming. Edited by Ehud Shapiro. info
  • Principles and Practice of Constraint Programming. LNCS Springer-Verlag.
Assessment methods (in Czech)
Předmět je ukončen ústní zkouškou.
Language of instruction
Czech
Further comments (probably available only in Czech)
The course is taught once in two years.
The course is taught every week.
Teacher's information
http://www.fi.muni.cz/~hanka/lp_II
  • Permalink: https://is.muni.cz/course/fi/spring2006/IA050