Study Guide@lith
 

Linköping Institute of Technology

 
 
Valid for year : 2017
 
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

Linköping Institute of Technology

 


Contact: TFK , val@tfk.liu.se
Last updated: 06/11/2015