|
|
T-93.540 Logic Programming (3 cr)
Suomeksi - 
General
- Contents
- Prolog language, implementation of logics in Prolog,
constraint logic programming, some other actual topics.
- Personnel
- Lectures: Risto Lahdelma,
exercises: Martti Meri. In matters concerning
the course please contact Martti Meri,
martti.meri@hut.fi,
- Course Email
- All course email as well as assignment and exercise returns are to be sent
to the address t93540@cs.hut.fi.
Autumn 2005
Lectures monday 9-12 Period I, hall T4. (12.9.2005 - 24.10.2005 ).
Agenda and deliverables by students
- Demo on Prolog, 20.9.2005 , at 13-15 , in room A136
- Home exercises, series 1 Deadline 30.9.2005 (Extension deadline 7.10.2005)
- Home assignment topic proposals, Deadline 7.10.2005
- Demo on constraint logic programming, 3.10.2005 at 9-12, in room A136
- Home exercises, series 2 Deadline 28.10.2005
- Assignment, Deadline 2.12.2005
Exams
Next exams are on Monday Nov. 7th. at 16-19 o'clock in Hall T1 and
Monday Dec. 12th. at 9-12 o'clock in Hall T1. (Check from the exams schedule, please).
Assignment topics, programming quides and examples
The ID used as an attribute in the assignment and home work return
commands might change. Once Niksula informs of the changes to the
return procedure the Information will be updated here and the
change will be informed on course news.
Prolog and Eclipse Exercises
Course Material
Prolog Programming Language
Leon Sterling, Ehud Shapiro : The Art of Prolog
Constraint Logic Programming
Additional Information
Exam, assignment and homework evaluations
Good books and links
Here some material that could shed some light on various techniques
of implementing things in Prolog that could be usefull in doing the
assignments and implementing things in a neat way.
- Ivan Bratko : Prolog Programming for Artificial Intelligence
- W. Clocksin and C. Mellish: Programming in Prolog (Third Edition). Springer-Verlag, 1987.
- Richard O'Keefe: The Craft of Prolog
- slides from Thom Frühwirth and Slim Abdennadher,
"Essentials of Constraint Programming", Textbook, Springer Verlag, 2003.
Bratko presents approaches to various topics like planning, interpreting, games etc you might want to
check out. O'Keefe presents a views of pragmatic and realistic issues in the core of Prolog-programming,
things you might be interested in after having read the other books.
Clocksin and Mellish is a good and compact tutorial to Prolog.
|
