The book is written by an English programming specialist and introduces readers to fundamental ideas and methodology of logical programming. It pays a lot of attention to the synthesis of programs, the implementation of logical programming languages ​ ​ and their application. The material is carefully selected, many examples are given to facilitate the assimilation of the material.