| studiehandbok@lith | |
|
|
|
|
|
| TDDA41 | Logic Programming, 4,5 p (sw) /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 SystemsCourse 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 | ||
| |
|
|
 |
|||||
|
|
||||||
