ERRATA for Clause and Effect

 

Page 15            The top line should be omitted

 

Page 18            .(.a,.(b,[])),.(c,[])) is in fact a list.

 

Page 24            <= should be =<

Page 32            cen-sored should be censored.

                        fiddlestick should be fiddlesticks.

 

Page 35            herd([sheep|T], [sheep|S]),G) :- herd(T,S,G)

                        should be

                        herd([sheep|T], [sheep|S],G) :- herd(T,S,G)

 

Page 39            goose). should be goose),

 

Page 46-47      There is no Worksheet 21.

 

Page 48            in the last clause, n([], I, []) should be n(I, [], [])

 

Page 57            n >0 should be n>0

 

Page 73            line 3 of last text para should not be indented

 

Page 78            nand(T3,B,T5) should be nand(T3,I2,T5)

 

Page 81            In second line of dist, sop(P*Q,P1) should be sop(P*Q,Q1)

 

Page 83            ?- reduce should be ?- remove

 

Page 89            Grey should be Gray

 

Page 115          On the figure, the abscissa should be labelled Re, not R

 

Page 116          O() notation needs consistent font

 

Page 121          standard technique should be this standard technique

 

Page 131          higher-order functions needs to be introduced before map is used

 

Page 134          The code is not entirely correct

 

Page 138          In last line, Z needs to be in typewriter font.