| TDDA41 | Logic Programming, 7 ECTS credits. /Logikprogrammering/ |
||
Prel. scheduled
hours: 48 |
|||
|
Area of Education: Technology Subject area: Computer Science/Computer Engineering |
|||
| Advancement level
(A-D): 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: (valid for students admitted to programmes within which the course is offered) TDDA 15 Logic, basic course, and TDDB 92 Programming in Incremental Systems 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 |
3,5 p 1 p |
||
Course language is Swedish/English. Department offering the course: IDA. Director of Studies: sas-sr@ida.liu.se Examiner: Ulf Nilsson Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||