TDDA41 Logic Programming, 6,8 ECTS-points
/Logikprogrammering/

Advancement level:
D

Aim:
To provide foundations for logic programming and its relation to other areas of computer science. To convey a declarative view on programming and to practise this knowledge in the programming language Prolog.

Prerequisites:
TDDA 15 Logic, basic course, and TDDB 92 Programming in Incremental Systems

Course organization:
Theoretical aspects are dealt with at lectures and problem solving sessions. Programming in Prolog at laboratory sessions.

Course content:
Logic, logic programs, declarative and procedural semantics, negation, Prolog, cut, deductive databases, inductive definitions, metalogic, expert systems, grammars, search, parallelism and equational logic.

Course literature:
Nilsson, U., Maluszynski, J., Logic, Programming and Prolog, (2 ed), John Wiley & Sons Ltd, 1995. Laboratory material

TEN1Written examination, 3,5 p.
LAB1Labratory work, 1 p.
Course language is swedish.