Essentials of Logic Progamming

Logic programming has developed into a broad discipline within computing science. Besides its basic role as a declarative programming language, it is also contributing significantly to other specialized fields. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation.