% wrapper
 
% zusatzaufgabe1 ist bereits direkt in gol.pl geloest
:- consult('gol.pl').
 
% aktiviere lediglich die ausgabe
prove_print :- true.
 
% vim: set noet sw=4 ts=4: