Using declarative programming in an introductory computer science course for high school students

Abstract

Though not often taught at the K-12 level, declarative programming is a viable paradigm for teaching computer science due to its importance in artificial intelligence and in helping student explore and understand problem spaces. This paper discusses the authors' design and implementation of a declarative programming course for high school students during a 4-week summer session.