Fix these

• different page numbers from Part III (p.129)
• certain mathematical symbols are not displayed correctly, including
  • ⊢ displayed as |
  • ⊬ displayed as |;/
  • ⊨ displayed as =
  • ⊭ displayed as =;/
• the index is currently missing

Apply errata

The following minor errors have all been corrected in the December 1994 reprint:

• p.121: the variable Pos in the definition of goal/2 should read LastMove, and eval/2 should be defined as eval(m(P,Pos,C),Value):-bLeftOfw(Pos,Value);
• p.121, bottom: the query should be ?-tiles(M,C) rather than ?-tiles([b,b,b,e,w,w,w],M,C);
• p.175, top: "Note that this atom theta-subsumes every other possible generalisation..." -- this should be "is theta-subsumed by...";
• p.219, answer to exercise 3.3: "adding a cut at the end of the second clause has no effect, while placing it just before the literal student_of(S,T) will only prune the answer..." -- this is actually just the other way around (the bottom-right figure is also wrong).