check:: swipl -q -g main,halt example.pl