swipl -f ~/src/lang/goedel/goedel/v1_4/src/init.pl


