Logic, programming, and Prolog

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming. Offering concise explanations of theoretical concepts and a broad coverage of new developments, this text explores the use of logic as the basis for program development. PROLOG, the high-level programming language based on the concept of logic, is explained with plenty of exercises and examples.