An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.