Logic Programming, 6 credits
Logikprogrammering, 6 hp
TDDD08
Main field of study
Information Technology Computer Science and Engineering Computer ScienceCourse level
Second cycleCourse type
Programme courseExaminer
Wlodzimierz DrabentDirector of studies or equivalent
Ahmed RezineEducation components
Preliminary scheduled hours: 48 hRecommended self-study hours: 112 h
Available for exchange students
YesMain field of study
Information Technology, Computer Science and Engineering, Computer ScienceCourse level
Second cycleAdvancement level
A1XCourse offered for
- Computer Science and Engineering, M Sc in Engineering
- Information Technology, M Sc in Engineering
- Computer Science and Software Engineering, M Sc in Engineering
- Computer Science, Master's programme
- Mathematics, Master's programme
Entry requirements
Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshold requirements for progression within the programme, or corresponding.
Prerequisites
Basic courses in discrete mathematics and logic, and a course on basic programming.
Intended learning outcomes
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.
Course content
Logic, logic programming, declarative and operational semantics, negation as failure, Prolog, "cut", logic and databases, logic and grammars, search and constraint logic programming.
Teaching and working methods
The theoretical foundations are reviewed in lectures and practiced in the tutorials. Skills in Prolog and constraint programming are demonstrated in the laboratory classes.
Examination
LAB1 | Laboratory work | 2 credits | U, G |
TEN1 | Written examination | 4 credits | U, 3, 4, 5 |
Grades
Four-grade scale, LiU, U, 3, 4, 5Department
Institutionen för datavetenskapDirector of Studies or equivalent
Ahmed RezineExaminer
Wlodzimierz DrabentCourse website and other links
http://www.ida.liu.se/~TDDD08/Education components
Preliminary scheduled hours: 48 hRecommended self-study hours: 112 h
Course literature
Additional literature
Books
- Nilsson, U., Maluszynski, J., (1995) Logic, Programming and Prolog second edition John Wiley & Sons Ltd
Other
Laboratory material.
Code | Name | Scope | Grading scale |
---|---|---|---|
LAB1 | Laboratory work | 2 credits | U, G |
TEN1 | Written examination | 4 credits | U, 3, 4, 5 |
Regulations (apply to LiU in its entirety)
The university is a government agency whose operations are regulated by legislation and ordinances, which include the Higher Education Act and the Higher Education Ordinance. In addition to legislation and ordinances, operations are subject to several policy documents. The Linköping University rule book collects currently valid decisions of a regulatory nature taken by the university board, the vice-chancellor and faculty/department boards.
LiU’s rule book for education at first-cycle and second-cycle levels is available at http://styrdokument.liu.se/Regelsamling/Innehall/Utbildning_pa_grund-_och_avancerad_niva.
Additional literature
Books
Other
Laboratory material.
Note: The course matrix might contain more information in Swedish.
I | U | A | Modules | Comment | ||
---|---|---|---|---|---|---|
1. DISCIPLINARY KNOWLEDGE AND REASONING | ||||||
1.1 Knowledge of underlying mathematics and science (G1X level) |
|
X
|
X
|
TEN1
|
||
1.2 Fundamental engineering knowledge (G1X level) |
|
X
|
X
|
LAB1
|
||
1.3 Further knowledge, methods, and tools in one or several subjects in engineering or natural science (G2X level) |
|
|
|
|||
1.4 Advanced knowledge, methods, and tools in one or several subjects in engineering or natural sciences (A1X level) |
|
|
|
|||
1.5 Insight into current research and development work |
|
|
|
|||
2. PERSONAL AND PROFESSIONAL SKILLS AND ATTRIBUTES | ||||||
2.1 Analytical reasoning and problem solving |
|
X
|
|
LAB1
|
||
2.2 Experimentation, investigation, and knowledge discovery |
|
X
|
|
TEN1
|
||
2.3 System thinking |
|
|
|
|||
2.4 Attitudes, thought, and learning |
|
|
|
|||
2.5 Ethics, equity, and other responsibilities |
|
|
|
|||
3. INTERPERSONAL SKILLS: TEAMWORK AND COMMUNICATION | ||||||
3.1 Teamwork |
|
|
|
|||
3.2 Communications |
|
|
|
|||
3.3 Communication in foreign languages |
X
|
|
|
|||
4. CONCEIVING, DESIGNING, IMPLEMENTING AND OPERATING SYSTEMS IN THE ENTERPRISE, SOCIETAL AND ENVIRONMENTAL CONTEXT | ||||||
4.1 External, societal, and environmental context |
|
|
|
|||
4.2 Enterprise and business context |
X
|
|
|
|||
4.3 Conceiving, system engineering and management |
|
X
|
|
TEN1
|
||
4.4 Designing |
X
|
X
|
|
LAB1
|
||
4.5 Implementing |
X
|
X
|
|
LAB1
|
||
4.6 Operating |
|
|
|
|||
5. PLANNING, EXECUTION AND PRESENTATION OF RESEARCH DEVELOPMENT PROJECTS WITH RESPECT TO SCIENTIFIC AND SOCIETAL NEEDS AND REQUIREMENTS | ||||||
5.1 Societal conditions, including economic, social, and ecological aspects of sustainable development for knowledge development |
|
|
|
|||
5.2 Economic conditions for knowledge development |
|
|
|
|||
5.3 Identification of needs, structuring and planning of research or development projects |
|
|
|
|||
5.4 Execution of research or development projects |
|
|
|
|||
5.5 Presentation and evaluation of research or development projects |
|
|
|
This tab contains public material from the course room in Lisam. The information published here is not legally binding, such material can be found under the other tabs on this page.
There are no files available for this course.