ID1213 Logikprogrammering, grundkurs 7,5 hp

Kursen presenterar logik och logikprogrammering för programvaruutveckling. Kursen presenterar algoritmer över listor och träd, och även sökalgoritmer över grafer. Olika mera effektiva datastrukturer, såsom differensstrukturer introduceras. Vi visar hur tekniker från funktionell programmering passar in i logikprogrammeringens ramverk och kan uttryckas i programspråket Prolog. Slutligen presenterar kursen några AI-tillämpningar, som enkla expertsystem, och ger en kort översikt av aktuella metodologiska trender. Under denna kurs kommer studenterna att bekanta sig med teorin och de grundläggande designprinciperna inom logikprogrammering, medan de under senare projektkurser eller till exempel examensarbete, kan praktisera metoderna.

Efter godkänd kurs ska studenten kunna

• beskriva ett problem som logiska påståenden, fakta och regler
• uttrycka algoritmer som regler i Prolog
• designa och/eller välja lämpliga datarepresentationer i ett logikprogram
• använda Prologs mekanismer för att effektivisera sökningen i exekveringen av ett logikprogram

i syfte att

• behärska logikprogrammering som metod att utveckla programvara.

• Slutförd kurs ID1018 Programmering I eller DD1393 Mjukvarukonstruktion, eller motsvarande. 
• Slutförd kurs ID1020 eller DD1338 Algoritmer och datastrukturer, eller motsvarande. 
• Slutförd kurs SF1624 eller IX1303 Algebra och geometri, eller motsvarande.
• Slutförd kurs SF1610 eller IX1500 Diskret Matematik, eller motsvarande.

• TEN1 - Tentamen, 7,5 hp, betygsskala: A, B, C, D, E, FX, F

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Skriftlig examen.

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

Innehållet sammanfaller med ID2213 som ges på engelska samtidigt. ID2213 innehåller en projektkurs också.

I denna kurs tillämpas EECS hederskodex, se: http://www.kth.se/eecs/utbildning/hederskodex.