Finale indiening

documentatie/verslag.tex

@@ -9,6 +9,7 @@
 \usepackage{enumitem}             % Aanpasbare lijsten
 \usepackage{float}                % Figures
 \usepackage[margin=2cm]{geometry} % Sane marges
+\usepackage{graphicx}             % Figures
 \usepackage{hyperref}             % Hyperlinks
 \usepackage{minted}               % Syntax highlighting
 \usepackage{multicol}             % Meerdere kolommen
@@ -110,12 +111,19 @@
     \end{enumerate}
 
     Doorheen dit proces kunnen variabelen hernoemd worden aan de hand van \mintinline{prolog}{numbervars/1}.
+    Een schematisch overzicht van dit proces is te zien in figuur~\ref{fig:renaming}.
 
     % TODO Verklarende figuur met substitutie toevoegen
 
     % Overzicht van geïmplementeerde predicaten in appendix.
     Operator-specifieke logica bevindt zich in de klassen van de operatoren zelf.
 
+    \begin{figure}[H]
+        \centering
+        \includegraphics[width=0.4\textwidth]{renaming}
+        \caption{Voorbeeld van een substitutie met variable renaming.}\label{fig:renaming}
+    \end{figure}
+
     In de volgende subsecties worden de belangrijkste onderdelen van de evaluatiestrategie in meer detail besproken.
 
     \subsection{Unificatie}\label{subsec:unificatie}