This work introduces Prolog, beginning with the logical principles underlying the language, going on to explain how to apply these principles in the data structures of programming, how to utilize deduction and how to exercise control by means of lists, sets, recursion and operators. A free instructor's manual is available on request from the publisher, which contains all the answers and alternative solutions to the exercises as well as common mistakes which arise.