Since the first edition of this book the field of logic programming has developed and matured in many respects. This has been reflected by the large number of textbooks that appeared in that period. These books usually fall into one of the following three categories:<\/p>\n
The main objective of both editions of this textbook is to provide a uniform account of both the foundations of logic programming<\/a> and simple programming techniques in the programming language Prolog. The discussion of the foundations also facilitates a systematic survey of variants of the logic programming scheme, like constraint logic programming, deductive databases, or concurrent logic programming<\/a>. This book is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced Prolog programming or on constraint logic programming. For each of these topics, there are more suitable books around. Because of the diversity of the field, there is of course a risk that nothing substantial is said about anything. We have tried to compensate for this risk by limiting our attention to (what we think are) the most important areas of logic programming and by providing the interested reader with pointers containing suggestions for further reading. As a consequence of this:<\/p>\n The objectives of the book have not changed since the first edition, but its content has been revised and updated to reflect the development of the field.<\/p>\n","protected":false},"excerpt":{"rendered":"\n