Informationsteknik – Deklarativ programmering

Kurskod I160403
Studiepoäng 8
Mål

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

Innehåll

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

Deltagande

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.

Betygsskalans namn

VG, G (för betygssättning)

Yrkesutbildning

Informationsteknik

Examensprogram

Utbildningsprogrammet för informationsteknik

Beskrivande bedömning

Skriftlig tentamen samt godkända inlämningsuppgifter.

Written exam and passed assignments.

Material

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.

Nödvändig förutsättning

Motsvarande Logik 7 sp och Programmering 1 8 sp.

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

Dokumentation

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.

Lärandemetoder

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

Lectures, seminars, laboratory lessons, assignments.

Utskriven 04 juli 2025 kl 05:07