Declarative Languages: A Comparative Introduction

An increasing number of courses combine the teaching of logic and functional programming - the "declarative" paradigms. This book serves as an authoritative textbook for such a course, covering both the theory and a comparative treatment of the major languages. The book is intended for 1st and 2nd year undergraduates in computer science.