--- /dev/null
+\begin{listing}[H]
+ \caption{Domain description task 1}
+ \label{domaintasktask1}
+ \prologcode{./src/domaintask1.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Instance description task 4}
+ \label{instancetask4}
+ \prologcode{./src/instancetask4.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Instance description task 5}
+ \label{instancetask5}
+ \prologcode{./src/instancetask5.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Instance description task 6}
+ \label{instancetask6}
+ \prologcode{./src/instancetask6.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Domain description task 6}
+ \label{domaintask6}
+ \prologcode{./src/domaintask6.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Instance description task 7}
+ \label{instancetask7}
+ \prologcode{./src/instancetask7.pl}
+\end{listing}
+\begin{listing}[H]
+ \caption{Domain description task 7}
+ \label{domaintask7}
+ \prologcode{./src/domaintask7.pl}
+\end{listing}