Behörighetskrav

90 hp informationssystem eller motsvarande

Mål

Vad gäller kunskap och förståelse förväntas studenten efter genomgången kurs kunna:

- Beskriva hur deklarativa programspråk kan vara uppbyggda och relatera dessa till logik

- Förklara och använda de begrepp som finns i logikbaserade programspråk

- Beskriva hur en interpretator för ett logikbaserat språk fungerar

- Beskriva olika deklarativa problemlösningsmetoder

Vad gäller färdighet och förmåga förväntas studenten efter genomgången kurs kunna:

- Använda ett logikprogrammeringsspråk för att lösa givna uppgifter

- Tillämpa olika deklarativa problemlösningsmetoder på givna uppgifter

Vad gäller värderingsförmåga och förhållningssätt förväntas studenten efter genomgången kurs kunna:

- Diskutera och värdera olika deklarativa problemlösningsmetoder relaterat till olika typer av uppgifter

- Relatera deklarativa programspråk till andra typer av programmeringsspråk

Innehåll

Introduktion till deklarativa programspråk

Logikprogrammering

- Definitioner, program, databaser, regler, fakta, rekursio, rekursiva datastrukturer, programstrukturer, inbyggda predikat, negation genom misslyckande, mängduttryck, sökryder, effektiv begränsning av sökrymden, svansrekursion, ackumulatorpar

Problemlösningsmetoder

- "Divide-and-conquer", "generate- and-test", metaprogrammering

Undervisning

Föreläsningar, laborationer och seminarier.

Examination

Kursen examineras genom laborationer, skriftlig tentamen samt projektuppgifter. Obligatorisk närvaro på vissa moment i kursen.