#usr/bin/sh
echo "Running $1.."
swipl -g "use_module(library(cosmos)), ccompile('$1'),halt"