this weeks nonsense

[ker1415-1.git] / report / ass1.tex

diff --git a/report/ass1.tex b/report/ass1.tex
index 2a7f53a..5343cea 100644 (file)
--- a/report/ass1.tex
+++ b/report/ass1.tex
@@ -63,6 +63,16 @@ connected(x, y, d) \wedge connected(y, z, d) \rightarrow
 \end{itemize}
 
 \subsection{Part 2: Implementation}
+\subsubsection{Task 3: Translate Axioms}
+\lstinputlisting[title={domain-task1.pl},language=prolog]{./src/domain-task1.pl}
+
+\subsubsection{Task 4: The Planning Problem in Figure 1}
+\lstinputlisting[title={instance-task1.pl},language=prolog]{./src/instance-task1.pl}
+
+\subsubsection{Task 5: Crates go to Any Goal Location}
+\subsubsection{Task 6: Inverse Problem}
+
+\subsection{Part 3: Extending the domain}
 
 \subsection{Evaluation}
 \begin{itemize}