Informationsteknik – Deklarativ programmering

Efter avslutad kurs skall den studerande behärska användningen av ett deklarativt språk för programmering.

För att uppfylla målet skall den studerande behärska
– Syntaxen för program i Prolog
– Faktasatser, regler, frågor
– Resolutionsmetoden
– Unifiering
– Backtracking
– Listor och rekursiva program
– En programmeringsmiljö för deklarativ programmering inklusive debugginghjälpmedel
– Inbyggda metapredikat för negation och alla svar
– Att spara predikat, termer och atomer på fil
– Att läsa predikat, termer och atomer från fil
– Välkända algoritmer för sortering och sökning för deklarativa program
– Deklarativ och procedurell tolkning av program
– Dokumentation av programkod
– Läsa programkod och införa ändringar i befintlig programkod
– Problemlösning med hjälp av deklarativ programmering

Syntax för Prologprogram
Slutsatsdragning i Prolog
Problemlösning i deklarativa språk
Datastrukturer
Aritmetik
Hantering av indata och utdata
Inbyggda predikat
Operationer på datastrukturer – sökning, sortering
Generella principer för god programmering
Deklarativ och procedurell tolkning
Metaprogram

Obligatorisk närvaro vid laborationer samt vid presentation och genomgång av inlämningsuppgifterna.

Obligatory presence at laboratory lessons and presentation and review of the assignments.

VG, G (för betygssättning)

Informationsteknik

Utbildningsprogrammet för informationsteknik

Skriftlig tentamen samt godkända inlämningsuppgifter.

Written exam and passed assignments.

Bratko, I. (2011). Prolog programming for artificial intelligence. 4. ed. Wokingham: Addison-Wesley. 696 s. Bibliotekskatalogen

Undervisningsmaterial (högskolan tillhandahåller)

Webbaserat material

Web based material.

Motsvarande Logik 7 sp och Programmering 1 8 sp.

Prerequisites Logic (7 ECTS) and Programming 1 (8 ECTS) or corresponding.

Godkänt vitsord noteras i studiekort. U, G eller VG (Vid validering används vitsordet Godkänd).

Passed grade will be noted in the study card.
U= Fail
G= Pass
VG= Pass with distinction
For validation the grade G, pass, will be used.

Föreläsningar, lektioner, laborationer, inlämningsuppgifter.

Lectures, seminars, laboratory lessons, assignments.