#!/bin/bash
if env -i HOME=$HOME swipl -c $1 |& egrep -q "ERROR|Singleton variables"
then
   swipl -c $1 |& grep -v "% autoloading"
   exit 1
fi