四十小时的声明式编程：在乌得勒支初级学院教授 Prolog
计算机与社会
2013-01-23 v1 编程语言
摘要
本文记录了我们使用声明式语言让高中生初步体验计算机科学的经验。该课程旨在教授学生一些 Prolog 编程知识，同时也向他们介绍重要的计算机科学概念，如合一或搜索策略。结合 Haskell 的 Snap Framework 与我们自主开发的 NanoProlog 库，我们开发了一个用于教授该课程的 Web 应用程序。
引用
@article{arxiv.1301.5077,
title = {Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht},
author = {Jurriën Stutterheim and Wouter Swierstra and Doaitse Swierstra},
journal= {arXiv preprint arXiv:1301.5077},
year = {2013}
}
备注
In Proceedings TFPIE 2012, arXiv:1301.4650