#!/bin/sh
# compile a flat-ALF program using the interactive ALF compiler:

case `${ALFHOME}/localbin/getALFPROLOG` in
  "quintus" )
	# use the Quintus-Prolog Version:
	echo fb\(\'$1\',\'$1\'\). | ${ALFHOME}/localbin/alf-quintus ;;

  "sicstus" )
	# use the SICSTUS-Prolog Version:
	echo fb\(\'$1\',\'$1\'\). | ${ALFHOME}/localbin/alf-sicstus ;;

  "sbprolog" )
	# use the SB-Prolog Version:
	echo "load('${ALFHOME}/localbin/alf-sbprolog'), fb('$1','$1')." | ${ALFHOME}/localbin/call-sbprolog ;;

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