Added a proper occurs check.
Added discussion of occurs check in intro and impl.
Added occurs check to list of problems with Binding representation.
Added discussion of arithmetic evaluation.
Added discussion of scoping.
Added section reference for scoping.
Added a discussion of Prolog's control flow, and moved the introduction to cut into the first chapter. Added a bibliography, and some references.