T-93.5500 - Logic and Constraint Programming (5 cr)

Homepage: english.html

Suomeksi Svenska

Period: I

Contents:

Basics of logic programming, Prolog-programming methodology and applications.

Requirements:

Final examination and a compulsory programming assignment.

Literature:

Leon Sterling, Ehud Shapiro: The Art of Prolog.

Prerequisites:

T-79.3001/T-79.144, T-106.4100/T-106.410, and T-106.3100/T-106.237.

Additional information:

assignments can also be done in English. Replaces the course T-93.540 Logic Programming.

Language:

Finnish. Can be taken in English upon request.

This page has been constructed by webmaster based on information in Study Programme.
This page has been updated last on the 22.8.2007 14:35.
URL: http://www.cs.hut.fi/Studies/T-93.5500/index.html