Introduction to Logic Programming
Logic programming is a style of programming 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 using it in deductive databases, spreadsheets, creating business logic in enterprise management, etc. This book introduces the theory of logic programming, modern technologies and popular applications. The authors lead the reader from the study of basic concepts (datasets, queries, 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 consolidate the material covered. The publication is intended for programmers of various qualifications, and will also be useful for students and everyone who wants to get acquainted with logical programming.
No reviews found
