Artificial Intelligence Techniques in Prolog

This unique book is a broad, clear, up-to-date presentation of AI programming and problem-solving techniques. The techniques are presented in Prolog, which has become a widely used AI programming language throughout the world. The book will be useful as a text in technique-oriented introductory courses in AI, as a text in AI programming courses, and as a sourcebook for the professional AI system builder.