\newpage
\subsection{Assignment 1-1}
Assignment 1 took  us the entire running of the assignment minus one week. The
assignments setup told us to first make the situation calculus and then
implement it. However our first attempt for the situation calculus wasn't
correct so we had to rewrite that entire section after hacking in prolog to make
it work.

\subsection{Assignment 1-2}
Assignment 2 took us a week, it was much more difficult, but our knowledge of prolog
was increased significantly so we weren't stopped by trivial prolog problems and
could work on it much more efficiently. On the other hand, the algorithm is in its
difficulty programming a very steep climb in prolog programming and we 
would definitly recommend splitting this assignment up more.

\subsection{General remarks} 
In our opinion the amount of information provided about the hitting-set
algorithm and situation calculus is out of proportion considering the very
important part it plays. For example situation calculus barely gets one page in
the reader and hitting set is also very sparsely described. We would really like
to have more clear information about each part of this algorithm. Some details,
such as the tp function, took hours of staring at code to finally understand it.
