Behörighetskrav

Data- och systemvetenskap, 90 högskolepoäng eller motsvarande

Mål

Efter genomgången kurs förväntas studenten kunna

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

- återge och förstå de begrepp som finns i logikbaserade programspråk

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

- känna till och kunna tillämpa olika deklarativa problemlösningsmetoder på givna uppgifter

- diskutera och värdera olika problemlösningsmetoder relaterat till olika sorters uppgifter.

Innehåll

Introduktion till deklarativa programspråk

Logikprogrammering

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

Problemlösningsmetoder

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

Programresonemang

Undervisning

Föreläsningar, lektioner, seminarier och laborationer.

Examination

Tentamen och inlämningsuppgifter. Som betyg på kursen används något av uttrycken väl godkänd, godkänd och underkänd.