Prolog by Example: How to Learn, Teach and Use it (Symbolic Computation / Artificial Intelligence)

This is a book about using Prolog, and about teaching it by example. Its real asset is a huge collection of problems (175), with their programs and associated comments, distributed over 17 sections. The book is recommended to introductory and advanced university courses where students may need to refresh the basics about logic programming and Prolog, before starting practice. It is also a guide book for software development in Prolog. The reader may pick up programs from the book as building blocks and use them in large systems. For this new edition, the previous book by the authors, "How to Solve it with Prolog," was enlarged, structured and refined.