Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Abstract

This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. The course aims to teach students a bit about programming in Prolog, but also exposes them to important Computer Science concepts, such as unification or searching strategies. Using Haskell's Snap Framework in combination with our own NanoProlog library, we have developed a web application to teach this course

A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming

“…The proposed research will advance our knowledge on how well LP-based approach improves STEM and computing learning outcomes. There is some recent work that studies LP in K-12 (Scherz and Haberman 1995;Stutterheim, Swierstra, and Swierstra 2013;Beux et al 2015), but none of it applies purely declarative LP to STEM.…”

Code Generation for Higher Inductive Types

“…Kokke and Swierstra [4] implemented a library for proof search using Agda's old reflection primitives, from before it had elaborator reflection. They describe a Prolog interpreter in the style of Stutterheim et al [18]. It employs a hint database and a customizable depth-first traversal, with lemmas to assist in the proof search.…”

Introducing Computer Science to High School Students Through Logic Programming

“…1990), while the benefits of its declarative aspects were acknowledged. In the last two decades, Prolog has made some appearances: listed in high school curriculum (Scherz and Haberman 1995), and taught to gifted and talented high school students (Stutterheim et al 2013) as well as to general high school and undergraduate students (Levesque 2012;Beux et al . 2015) though it does not enjoy the same attention as procedural and OO paradigms.…”