#!/bin/bash
exec /usr/lib64/xsb-3.8.0/bin/xsb-bits64 "$@"
