Mål

För godkänt betyg ska studenten kunna

• definiera och använda grundläggande koncept i logikprogrammering.
  
• manuellt analysera och exekvera enkla logiska program map korrekthet och effektivitet.
  
• formulera enkla problem i logik som kan exekveras som logisk program.
  
• implementera enkla algoritmer och datastrukturer korrekt i logikprogrammering.
  
• använda logikprogrammeringens starka sidor (unifiering, backtracking och grammatik) för att lösa enkla kombinatoriska problem och för att behandla naturligt språk.
  
• förklara hur logikprogrammering skiljer sig från andra sätt att programmera.
  

Innehåll

Grundläggande koncept: relationer, regler unifiering, rekursion.
Relation mellan logik och logikprogrammering: semantik, sundhet och fullständighet.
Programmering i ett logiskt språk, tex. Prolog.
Kodning av algoritmer och datastrukturer; lösning av sök- och villkorsproblem.
Jämförelser med imperativ, objektorienterad och funktionell programmering.
Grammatikregler.
Implementeringstekniker: (meta)interpretering
och kompilering.
Tillämpningar inom artificiell intelligens: problemlösning och behandling av naturligt språk.

Undervisning

Föreläsningar, gästföreläsningar, lektioner och laborationer.

Examination

Skriftligt prov (6 hp) samt inlämningsuppgifter (1.5 hp). Frivilliga uppgifter kan ge högre betyg.