Description
SPRINGER Logic Programming With Prolog by MAX BRAMER
Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full glossary of the technical terms and self-assessment exercises. Introduction.- Getting Started.- Clauses and Predicates.- Satisfying Goals.- Operators and Arithmetic.- Input and Output - Loops.- Preventing Backtracking.- Changing the Prolog Database.- List Processing.- String Processing.- More Advanced Features.- Appendix 1. Built-in Predicates.- Appendix 2. Built-in Operators.- Appendix 3. Specimen Solutions to Practical Exercises.- Glossary.