The programming language Prolog has gained increasing importance in recent years, not least due to numerous applications in the fields of expert systems and natural language processing. Unlike procedural programming languages, such as Pascal, where procedures must be programmed to solve a problem, programming in Prolog essentially consists of a description of the problem. This naturally leads to entirely different methods and challenges in program design. This book is based on lectures at the University of Karlsruhe. The structure of the book is also a result of the experiences gained during these lectures. First, simple programs and constructs in Prolog are introduced to familiarize the reader with the approach to programming in Prolog. Following an excursion into the fundamentals of logic, it continues...