test: Summer example

documentatie/verslag.tex

@@ -131,8 +131,6 @@
     Het unificatie-algoritme is gebaseerd op Robinsons Unificatie-algoritme, zoals beschreven door~\cite{boizumault-1993}, met inspiratie van~\cite{russell2016}.
     Merk op dat er gebruik gemaakt wordt van de \textit{occurs check}.
 
-    De broncode voor het algoritme kan teruggevonden worden in \texttt{prolog/logic/unification.kt}.
-
     \subsection{Cut}\label{subsec:cut}
 
     De cut operator geeft altijd een \mintinline{kotlin}{Result.failure(AppliedCut)} terug wanneer \mintinline{kotlin}{satisfy} wordt opgeroepen.
@@ -152,10 +150,6 @@
     In dit geval zal de \mintinline{kotlin}{AppliedShift} steeds doorgespeeld worden, totdat de \mintlinline{kotlin}{Reset} de uitzondering opvangt.
     Daarna gaat het programma verder met de nieuwe substituties en continuatie.
 
-    De broncode voor de meta abstracties kan teruggevonden worden in
-
-    \texttt{prolog/builtins/delimitedContinuationsOperators.kt}.
-
 
     \section{Resultaat}\label{sec:resultaat}