Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Forty hours of declarative programming: Teaching Prolog at the Junior
  College Utrecht   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.

3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con