Mål:
Att ge grundläggande principer för logikprogrammering och dess relation till andra datavetenskapliga områden. Att lära ut ett deklarativt tankesätt samt att praktisera detta med hjälp av språket Prolog.
Förkunskaper:
TDDA 15 Logik, grundkurs eller motsvarande, TDDA 92 (TDDA 93) Programmering i Inkrementellt System.
Organisation:
På föreläsningar och lektioner genomgås och övas teorin. På laborationerna utförs uppgifter med Prolog.
Kursinnehåll:
Logik, logikprogram, deklarativ och operationell semantik, negation, Prolog, "cut", logik och databaser, grammatiker, sökning, ekvationslogik, constraint logic programming och frågeoptimering.
Kurslitteratur:
Nilsson, U., Maluszynski, J.: Logic, Programming and Prolog, John Wiley & Sons Ltd, 1995 (second edition).
Laborationsmaterial, utges av Institutionen för datavetenskap.
Examination:
LAB 1 En laborationskurs.
TEN 1 En skriftlig tentamen.