veel werk gedaan
[ker1415-1.git] / report / ass1.tex
index 5343cea..a495533 100644 (file)
@@ -64,10 +64,10 @@ connected(x, y, d) \wedge connected(y, z, d) \rightarrow
 
 \subsection{Part 2: Implementation}
 \subsubsection{Task 3: Translate Axioms}
-\lstinputlisting[title={domain-task1.pl},language=prolog]{./src/domain-task1.pl}
+\lstinputlisting[title={domaintask1.pl},language=prolog]{./src/domaintask1.pl}
 
 \subsubsection{Task 4: The Planning Problem in Figure 1}
-\lstinputlisting[title={instance-task1.pl},language=prolog]{./src/instance-task1.pl}
+\lstinputlisting[title={instancetask1.pl},language=prolog]{./src/instancetask1.pl}
 
 \subsubsection{Task 5: Crates go to Any Goal Location}
 \subsubsection{Task 6: Inverse Problem}