Computer Laboratory > Teaching > Course material 2007–08 > Prolog

Prolog
2007–08

Principal lecturer: Dr Andrew Rice
Taken by: Part IB
Syllabus
Past exam questions
Pre-compiled binary distribution for SWI-Prolog on PWF Linux
Anagram generator initial clauses. This file contains the initial database of words generated from /usr/share/dict/words
Lecture slides for all 6 lectures including suggested supervision work.
Additional handout for Lecture 6.

Lecture Recordings

Video recordings of the slides (and code demonstration) with voice-over will be made available after each lecture. These are in Real Media format.

Lecture 1: view
Lecture 2: view
Lecture 3: view
Lecture 4: view
Lecture 5: view
Lecture 6: view

If you find these useful and would like to see other lecture courses online, or if you have comments, please send me an email so we know that its worthwhile.

Assessed Exercise

The assessed exercise may be downloaded here: prolog-assessed.pdf.

Important dates:

Viva sign-up sheets placed outside Student Administration	Fri 18-Apr-2008 12:00 noon
Submission deadline for tick by email	Fri 25-Apr-2008 12:00 noon
Viva sign-up deadline	Fri 25-Apr-2008 12:00 noon
Viva examinations	Thu 8-May-2008 13:00 to 16:00 Fri 9-May-2008 13:00 to 16:00

Received Ticks

Ticks have currently been received from: vae21, rcfh2, cjd51, pko22, rd346, jl479, lp300, smp53, sjh229, dsjj2, ls423, tn242, da289, gr278, eb379, amj41, np317, ms705, hh304, cmh85, osdl2, qtz20, lw346, eab54, msg31, abjk3

If you've emailled your tick and your name does not appear in the list above within 12 hours then you should email me to check.

Errata

	Slide No.	Errata	Corrige	Reported by
Lecture 1	33	The puzzle answers are inconsistent with the source code on the previous slides	Swap 'japanese' and 'norwegian'	lw346
Question 3.2.5		The a/3 clause is not defined anywhere	Replace queries to a/3 with append/3	jpb65
Lecture 3	50	There is no tGrade/2 clause in the database	Replace tGrade(C,G) with tGrade(C,_,G) and delete "for acr31" from the description	acr31
Question 4.3.2	Query 4	The SQL and the plain english description do not match	Replace the SQL with SELECT name,college from tName FULL OUTER JOIN tCollege ON tName.CRSID = tCollege.CRSID	ms705
Question 4.3.2	Query 6	The hint is contradictory to the question	The hint is attached to the wrong question and should be for query 7	ms705

Prolog2007–08

Lecture Recordings

Assessed Exercise

Received Ticks

Errata

Prolog
2007–08