Books in the Graduate Texts in Computer Science series

Presents the fundamentals of logic programming from both practical and theoretical viewpoints, covering various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation.

Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design. This text, written from a systems perspective, emphasizes the practical relevance of its key theoretical ideas.