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

Jurriën Stutterheim
(Utrecht University)
Wouter Swierstra
(Utrecht University)
Doaitse Swierstra
(Utrecht University)

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.

In Marco T. Morazán and Peter Achten: Proceedings First International Workshop on Trends in Functional Programming in Education (TFPIE 2012), University of St. Andrews, Scotland, UK, 11th June 2012, Electronic Proceedings in Theoretical Computer Science 106, pp. 50–62.
Published: 20th January 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.106.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org