 
|
|
|
|
|
|
|
|
|
SMD054 Logic Programming 6.0 ECTS credits | |
|
TIMEPERIOD: IV LANGUAGE:English/Swedish EXAMINER Torkel Franzén Univ lekt PREREQUISITES SMD011/smd012/SMD038 Imperative Programming (or SMD091 Computer Science Project course) and SMD056 Program Construction or something similar. COURSE AIM The course teaches about the principles of logic programming, gives experience in Prolog programming, and an introduction to the use of Prolog in artificial intelligence. CONTENTS Syntax and semantics of logic programs. Declarative and procedural understanding of programs. Unification. Prolog. TEACHING Lectures or self studies and programming sessions. EXAMINATION COURSE GRADE SCALE: U,3,4,5 ITEMS/CREDITS | |
| Laboratory work | 1.50ECTS |
| Written exam | 4.50ECTS |
|
COURSE LITERATURE Covington, Nute, and Vellino: Prolog Programming in Depth. Prentice Hall 1997, ISBN 0-13-138645-X. REMARKS Further information: International Office |
Web Editor: Karin.Lindholm@dc.luth.se
| The University | Student | Research | Search | Contact us | In Swedish |
 LULEÅ UNIVERSITY OF TECHNOLOGY University Campus, Porsön, 971 87 Luleå. Tel. +46 (0) 920-91 000, fax +46 (0) 920-91 399 |