| |
| Previous course: C4332 |
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: C4332 |
| Prerequisite: 49142/C4312 |
| Recommended semester:
4th -7th semester |
| Scope and form: Lectures. Problem sessions. A larger program construction exercise documented in a report. |
| Examination:
Written exam and reports
(13 point scale
) |
| Contact person: |
Jørgen Fischer Nilsson, IT, Building 344, Tel. +45 4525 3730E-mail: jfn@it.dtu.dk |
|
| Aim: To introduce the concepts, languages and methods of logic programming. To provide an insight into the use of logic and logic programming for specification and prototyping and for knowledge representation and machine reasoning in expert systems |
| Contents: Clause form of logic. Logic programming in Prolog. Operational and mathematical semantics for Prolog. Proving in resolutional logic. Data type systems and meta-interpreters in logic programming. |
