Declarative programming (course in English) Spring 2006 BMETKVIB422 Last modified: Mon May 22 18:41:49 CEST 2006

This page contains information about the course held in English.

Small homeworks

• 1. SML

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
• SML sample exam sheet .pdf
• Slides of the Spring 2005 semester:
• Slides of the lectures of the Spring 2005 course:
• Prolog lectures 1.-2. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)
• Prolog lectures 3.-6. .pdf (1 slide/page), .pdf (4 slides/page), .ps.gz (1 slide/page), .ps.gz (4 slides/page)
• Prolog lectures (rest) .pdf (1 slide/page), .ps (1 slide/page)
• 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

Tests

• Mid term test: April 26 2006, Wednesday, 10:15am - questions (PDF), solutions (PDF)
• Supplementary test:May 19 2006, Friday, 2:15pm - questions (PDF), solutions (PDF)

Big Homework Assignment

• Problem description
• Framework program for submission
• Submission deadline: May 31 2006