The classic Prolog book which sets the language standard for almost all Prolog implementations. More Detailed Presentation of Prologue Syntax and Data Structures, How a Set of Clauses Generates a Set of Solution. Using ''Cut'' to Modify the Control Sequence of Running Prolog Programs, Many Example Programs are Given and Covering a Wide Range of Interests. New Examples Includes List Processing and Set Operations and Symbolic Differentiation and Simplification of Formulae, Applications of Existing Techniques. Using Grammar Rules. Examining the Design Decisions for Some Aspects of Analyzing Natural Language with Grammar Rules, Predicate Calculus and Clausal Form and Resolution and Theorem Proving and Logic Programming, A Selection of Suggested Exercises and Projects and Problems, Appendices, Index.