Declarative programming (course in English)
Spring 2007
BMETKVIB422
This page contains information about the course held in English.
General information
Classes
Monday 10.15-12.00, room IB.146
Friday 10.15-12.00, room IL.408 (lab)
Lecturers: András 'Georgy' Békés, [bekesa at sch dot bme dot hu], Gergely Patai [patai at iit dot bme dot hu]
Requirements for the signature:
Submitting 7 homeworks during the semester.
Reaching 40% of each of the languages on one of the mid-term exams (you can try both, the best result counts).
Midterm exam
Midterm exam 1: 2nd May 2007, 17:00-19:00, IB.028
Midterm exam 2: 25th May 2007, 10:00-12:00, IE.007
Exam sheets for practicing:
SML:
2005/1
,
2005/2
,
2005/3
,
2006/1
,
2006/2
Prolog:
2005/1
,
2005/2
,
2005/3
Homework
The exercises are available
here
.
Final exam
Exam dates:
25th May 2007, 8:00-10:00, IE.007
7th June 2007, 8:00-10:00, V2.225
20th June 2007, 8:00-10:00, V2.225
Exam sheets for practicing:
SML sample exam sheet
.pdf
Lecture notes, slides, programming examples for downloading
Slides of Spring 2006 semester:
Prolog lectures 1-7.
.pdf
(1 slide/page),
.pdf
(4 slides/page),
.ps.gz
(1 slide/page),
.ps.gz
(4 slides/page)
Prolog lectures 8-11.
.pdf
(1 slide/page),
.pdf
(4 slides/page),
.ps.gz
(1 slide/page),
.ps.gz
(4 slides/page)
SML lectures 1st part
.pdf
(1 slide/page),
SML lectures 2nd part
.pdf
(1 slide/page),
SML small examples
.txt
Cekla: compiler for a declarative sublanguage of C (version 1.1):
Win32
(installer)
Linux (glibc2.2 & 2.3)
, (to be ungzipped)
Free (freely downloadable or on-line) books and other documentation on Prolog and SML
Prolog
Ulf Nilsson and Jan Maluszynski's
Logic, Programming and Prolog
Anthony A. Aaby's
Prolog Tutorial
J.R.Fisher's
prolog:-tutorial
James Power's
Prolog Tutorials
Roman Bartak's
On-li Guide to Prolog Programming
Patrick Blackburn, Johan Bos and Kristina Striegnitz's
Learn Prolog Now!
SML
Andrew Cumming's
A Gentle Introduction to ML
Stephen Gilmore's
Programming in Standard ML'97
Robert Harper's
Introduction to Standard ML
Hal Abelson's, Jerry Sussman's and Julie Sussman's
Structure and Interpretation of Computer Programs
Mads Tofte's
Tips for Computer Scientists on Standard ML
Software (SML and Prolog interpreters, compilers) to download
Here
