I013 Logic Programming I

Faculty of Informatics
Spring 1998
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
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
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
The course is also listed under the following terms Spring 1996, Spring 1997, Spring 1999, Spring 2000, Spring 2001, Spring 2002.
  • Enrolment Statistics (Spring 1998, recent)
  • Permalink: https://is.muni.cz/course/fi/spring1998/I013