#!/bin/bash
if env -i HOME=$HOME swipl -c $1 | grep -q "ERROR"
then 
   swipl -c $1
   false
fi
#rm a.out