Download | Plain Text | No Line Numbers 

  1. % wrapper
  2.  
  3. % zusatzaufgabe1 ist bereits direkt in gol.pl geloest
  4. :- consult('gol.pl').
  5.  
  6. % aktiviere lediglich die ausgabe
  7. prove_print :- true.
  8.  
  9. % vim: set noet sw=4 ts=4:
  10.