test: Summer example

documentatie/verslag.tex

@@ -131,6 +131,8 @@
     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.
@@ -150,6 +152,10 @@
     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}
 
@@ -167,7 +173,7 @@
     De code in~\ref{lst:nesting} komt bijvoorbeeld in de meeste termen voor, weliswaar in verschillende vorm.
 
     \begin{listing}[H]
-    \begin{minted}{kotlin}
+        \begin{minted}{kotlin}
         /* Function entry logic */
         unifyLazy(a, b, subs).forEach { firstResult ->
             firstResult.map { firstSubs ->
@@ -183,8 +189,8 @@
                                 is AppliedCut   -> /* Cut logic */
                                 is AppliedShift -> /* Shift logic */
         } } ) } } }
-    \end{minted}
+        \end{minted}
-    \caption{Voorbeeld van geneste boilerplate code}\label{lst:nesting}
+        \caption{Voorbeeld van geneste boilerplate code}\label{lst:nesting}
     \end{listing}
 
     % KERN: Overerving zorgt voor boilerplate

examples/basics/summer.pl

@@ -0,0 +1,22 @@
+summer(Start, End, 0) :- Start == End.
+summer(Start, End, Sum) :-
+    Start \== End,
+    Next is Start + 1,
+    summer(Next, End, Rest),
+    writeln(rest(Rest)),
+    Sum is Start + Rest,
+    writeln(sum(Sum)).
+
+my_sum :-
+    write('Enter start: '),
+    read(Start),
+    write('Enter end: '),
+    read(End),
+    summer(Start, End, Sum),
+    write('The sum is: '),
+    write(Sum), nl.
+
+main :-
+    summer(1, 5, Sum).
+
+:- initialization(main).