Declarative programming (course in English)
Last update: 2005-03-03
This page contains information about the course held in English.
Supplementary Midterm Exam: 3rd May,Tuesday, 17:00-19:00, room E.1.B.
Tuesday 12.15-14.00, room IB.144;
Friday 08.15-10.00, room IE.219.
Laboratory practice is on (some) Fridays, in room IL.407.
Lecturers: András György Békés [Georgy], Gergely Lukácsy [Stilgar]
Planned events during the semester:
every second week: small homeworks for extra points
6th week: release of the big homework assignment (strongly recommended)
22nd April, 15:15 PM - 17:00 PM, room I.B.028 : mid-term test (mandatory: 40% from each language)
10th week: deadline of the big homework assignment
12th week: supplementary mid-term test (mandatory if you failed on the first test, but anyone can write it, your higher score will count)
first exam week: additional supplementary mid-term test on the first exam day on Friday, May 27 (mandatory if you failed on the first two)
every exam week: exams on Fridays, the first one on 27th May and then on 5 subsequent Fridays, (everyone is free to choose a date and have a second chance if failed on the first try)
Requirements: Official Course Requirements sheet in
Lecture notes, slides, programming examples for downloading
Slides of the current semester:
Slides of the lectures of the current course (spring 2005):
Prolog lectures 1.-2.
Prolog lectures 3.-6.
Prolog lectures (rest)
SML lectures 1st part
SML lectures 2nd part
Cekla: compiler for a declarative sublanguage of C (version 1.1):
Linux (glibc2.2 & 2.3)
, (to be ungzipped)
Free (freely downloadable or on-line) books and other documentation on Prolog and SML
Ulf Nilsson and Jan Maluszynski's
Logic, Programming and Prolog
Anthony A. Aaby's
On-li Guide to Prolog Programming
Patrick Blackburn, Johan Bos and Kristina Striegnitz's
Learn Prolog Now!
A Gentle Introduction to ML
Programming in Standard ML'97
Introduction to Standard ML
Hal Abelson's, Jerry Sussman's and Julie Sussman's
Structure and Interpretation of Computer Programs
Tips for Computer Scientists on Standard ML
Software (SML and Prolog interpreters, compilers) to download
Back to the top