/opt/local/bin/swipl  -f main.pl -g true