\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}