Logic Programming and PROLOG

During the recent 5 years the interest in logic programming and the programming language Prolog has grown substantially and the field has expanded to such extent that it is now difficult to keep up-to-date with all new advances. The main objective for writing yet another text-book on these topics is to provide an intuitive account of "both" foundations of logic programming and simple programming techniques in the programming language Prolog. It is not primarily intended to be a theoretical handbook on logic programming. Nor is it intended to be a book on advanced prolog programming. The authors have tried to compensate for this risk by limiting their attention to 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 the theoretical presentation is limited to well-established results and some of the most elaborate theorems are stated only with hints or pointers to their proofs and most of the program examples are small programs whose prime aim is to illustrate the principal use of logic programming and to inspire the reader to apply similar techniques when writing "real" logic programs.