 
|
|
|
|
|
|
|
|
|
SMD054 Logikprogrammering 4.0 poäng | |
|
ÄMNE (enl SCB) Datateknik NIVÅ/DJUP C K PROGRAM/TIDSPERIOD Val D, E, DI / Lp IV; ges / vartannat / år. / Ges 99/00 SPRÅK: Engelska/Svenska EXAMINATOR Torkel Franzén Univ lekt FASTSTÄLLD Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29, reviderad 1998-02-16 att gälla från HT98. FÖRKUNSKAPSKRAV SMD011/SMD012/SMD038 Imperativ programmering (eller SMD091 Projekt i datateknik för DTI) och SMD056 Programkonstruktion eller motsvarande. MÅL Kursen skall ge kunskap om principerna för logikprogrammering, erfarenhet av programmering i Prolog samt en orientering om huvudanvändningen av Prolog inom artificiell intelligens. INNEHÅLL Syntax och semantik för logikprogram. Deklarativ och procedurell läsning av program. Unifiering. Prolog. Orientering om logikprogrammeringens användningsområden. UNDERVISNING Föreläsningar eller självstudier och laborationer. EXAMINATION Laborationer och tentamen. KURSENS BETYGSKALA: U, 3, 4, 5 MOMENT/PROV | |
| Laborationer | 1.0poäng |
| Tentamen | 3.0poäng |
|
LITTERATUR Covington, Nute, and Vellino: Prolog Programming in Depth. Prentice Hall 1997, ISBN 0-13-138645-X. ÖVRIGT Kontaktperson: Torkel Franzén |
| Universitetet | Student | Forskning | Sök | Kontakta oss | In English |
 LULEÅ TEKNISKA UNIVERSITET Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399 |