cat << EOF
- SWI-Prolog $(scasp --version 2>&1)
- Ciao $(scasp-ciao --version)
EOF
swi()
{ /bin/time -f %U bash -c "scasp -n0 --unknown=fail $1 2>&1 > /dev/null" 2>&1
}
ciao()
{ /bin/time -f %U bash -c "scasp-ciao -n0 $1 2>&1 > /dev/null" 2>&1
}
cat << EOF
| Program | SWI | Ciao |
|---|
EOF
for f in $*; do
echo "| $f | $(swi $f) | $(ciao $f) |
|---|
"
done
cat << EOF
EOF