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