Assessed exercise

The assessed exercise should be completed by midday on Friday 24th January, with viva examinations taking place on Thursday 30th January and Friday 31st January.

Here is a test program you can use to test your solution: test.pl. This can be used from the command line on Linux PWF as follows: swipl -t "load_files(['crsid.pl','test.pl'])"

Errata

Errors in the lecture videos and questions are indexed by video number (V), slide number (S) and time (T).

V

S

T

Errata

Corrige

From

15b

No slide or question index

Slide and question index built

rsa33

12

10

div

intdiv (div is an infix operator in some versions of prolog)

hp343

8

6-9

4:30

Video and audio are not quite in sync

(under investigation)

awc32, vbt22

7

13

8queens

eightQueens

ns532

7

When asking to generalise from 8-Queens to n-Queens its not clear what the chessboard size should do

You should generalise to n-Queens on an nxn chessboard

cdk23

3

8

The text typed during the lecture on this slide should read rule2 rather than rule.

Correct....

jp581

3

8

Implicit binding of the exists quantifier is too large. This is important because otherwise the statement holds when thing(1,2) and thang(2) is true but rule2(1) is false - this happens because false implies anything and the overlarge capture of the exists allows you pick a z for which the LHS is false.

There should be an open bracket before the exists and a close bracket before the implication arrow