TDDA41 Logic Programming, 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 TDDB92 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

LAB 1Labratory work
TEN 1Written examination
Course language is Swedish.