| TDDD08 | Logic Programming, 6 ECTS credits. /Logikprogrammering/ |
||
Prel. scheduled
hours: 48 |
|||
|
Area of Education: Technology Main field of studies: Computer Science, Computer Engineering, Information Technology |
|||
| Advancement level
(G1, G2, A): A
|
|||
| 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: (valid for students admitted to programmes within which the course is offered) Discrete mathematics, Logic, Programming, Computer languages Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
|||
| Organisation: Theoretical aspects are dealt with at lectures and problem solving sessions. Programming in Prolog at laboratory sessions. |
|||
| Course contents: 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. |
|||
| Examination: | |||
| Written examination Laboratory work |
4 ECTS 2 ECTS |
||
Course language is Swedish/English. Department offering the course: IDA. Director of Studies: Patrick Lambrix Examiner: Ulf Nilsson Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||