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)
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.