Declarative languages can be, and indeed are, widely used in education. Some areas are in fact completely dominated by declarative languages, such as formal methods in software engineering, and artificial intelligence. Other areas, such as operating systems rely less on specific declarative ideas. However as understanding of Computer Science increases, the formal basis for such subjects is growing, and with it the need to teach in a declarative fashion. We conclude the article with an extensive bibliography, from which we hope the interested reader can find support for teaching with declarative languages and ideas.