#!/bin/sh
# call the interactive ALF compiler:

case `${ALFHOME}/localbin/getALFPROLOG` in
  "quintus") ${ALFHOME}/localbin/alf-quintus ;;
  "sicstus") ${ALFHOME}/localbin/alf-sicstus ;;
  "sbprolog")
	# use the SB-Prolog Version:
	echo "Please type the command"
	echo "   load('${ALFHOME}/localbin/alf-sbprolog')."
	echo "after the prompt of the SB-Prolog system:"
	echo
	${ALFHOME}/localbin/call-sbprolog ;;

  *)  echo "ERROR: Unknown value for ALFPROLOG: ${ALFPROLOG}" ;;
esac
