| TDDD08 |
Logic Programming, 6 ECTS credits.
/Logikprogrammering/
For:
CS
D
DAV
IT
MMAT
U
|
| |
Prel. scheduled
hours: 48
Rec. self-study hours: 112
|
| |
Area of Education: Technology
Main field of studies: Computer Science, Computer Engineering, Information Technology
|
| |
Advancement level
(G1, G2, A): A
|
|
Aim:
At the end of the course the student should demonstrate a deeper understanding of the basic logical concepts and its relation and application of the programming context. Furthermore, the student should demonstrate skills in logic and constraint programming in the programming language Prolog, and the ability to think and solve problems in a declarative way.
|
|
Prerequisites: (valid for students admitted to programmes within which the course is offered)
Basic courses in discrete mathematics and logic, and a course on basic 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:
The theoretical foundations are reviewed in lectures and practiced in the tutorials. Skills in Prolog and constraint programming are demonstrated in the laboratory classes.
|
|
Course contents:
Logic, logic programming, declarative and operational semantics, negation as failure, Prolog, "cut", logic and databases, logic and grammars, search and constraint logic programming.
|
|
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: Ahmed Rezine
Examiner: Wlodzimierz Drabent
Link to the course homepage at the department
Course Syllabus in Swedish
|