Introduction to logical programming. Geneseret Michael, Chaudri Vinay K.

Logical programming is a programming style in which programs take the form of sets of sentences in the language of symbolic logic. Recently, interest in it has grown due to the possibility of applying data in deductive databases, electric tables, creating a business logic in enterprise management, etc. This book introduces the theory of logical programming, modern technologies and popular applications. The authors lead the reader from the study of basic concepts (data sets, requests, updates, etc.) to the practical application of computational logic. The book is conveniently structured: the consideration of new terms is accompanied by numerous examples; At the end of the chapters, exercises are given to fix the material covered. The publication is intended for programmers of various qualifications, and will also be useful to students and everyone who wants to get acquainted with logical programming.