#!/bin/sh
sicstus -l sicstus -a $*
