swipl -f ../f2xml.pl -g 'eg(3),nl,halt'