This book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic. The authors illustrate the idea through the presentation of various algorithms and offer the most-up-to-date book on this topic.