| TDDD08 | Logic Programming, 6 ECTS credits. /Logikprogrammering/ |
||
Prel. scheduled
hours: 48 |
|||
|
Area of Education: Technology Subject area: Computer Science/Computer Engineering |
|||
| 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) TATA35 Discrete mathematics, TDDB83 Logic, TDDB80 Programming and computer languages or TDDB81 Programming 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:
|
|||
| Examination: | |||
| Written examination Laboratory work |
4 ECTS 2 ECTS |
||
Course language is Swedish/English. Department offering the course: IDA. Director of Studies: sas-sr@ida.liu.se Examiner: Ulf Nilsson Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||