cd ..
swipl -f main.pl -g 'eg(1),halt'