Permalink
Browse files

Add "Forty hours of.." JCU reference

  • Loading branch information...
1 parent 0217ab6 commit 2e15379f5fb6cca3bc9b8e0535b6433e7e8752bf @norm2782 norm2782 committed Aug 20, 2012
Showing with 7 additions and 6 deletions.
  1. +7 −6 EHC/text/TopicJavaScriptIFL.cltex
View
13 EHC/text/TopicJavaScriptIFL.cltex
@@ -472,12 +472,13 @@ modification of the cloning method used by jQuery\cite{www11jquery}.
% \cite{swierstra2011,stutterheim2012} \cite{snap}
To explore the limitations, and to demonstrate the features of the UHC
JavaScript back-end in a real-life scenario, we ported the `JCU Prolog Proof
-Assistant'\cite{swierstra2011}. It is a tool developed for students to learn
-about important concepts in computer science, such as proofs, trees,
-unification, and backtracking, by means of proving Prolog queries manually.
-Students enter a Prolog query, after which they are tasked with constructing a
-proof by dragging and dropping Prolog rules and facts, and by applying
-substitutions manually throughout the proof tree.
+Assistant'\cite{swierstra2011}, a web application developed to aid in
+teaching\cite{stutterheim2012} Prolog at the Junior College Utrecht. It is a
+tool developed for students to learn about important concepts in computer
+science, such as proofs, trees, unification, and backtracking, by means of
+proving Prolog queries manually. Students enter a Prolog query, after which
+they are tasked with constructing a proof by dragging and dropping Prolog rules
+and facts, and by applying substitutions manually throughout the proof tree.
The application was originally programmed in \coffeescript\cite{coffeescript},
a layer of syntactic sugar for \js, and used the \brunch\cite{brunch}

0 comments on commit 2e15379

Please sign in to comment.