#!/bin/csh -f
#	parse FP file.fp into prologable form of FFP (into file file.pl)
#
set base=$1:r
/usr/proj/ffp/bin/mkprol $base.fp
# translate upper to lower case, so no inadvertent Prolog variable names!
tr 'A-Z' 'a-z' < $base.prl |\
sed '1i\\
?- typechk(\
/\./s/\./)./' >! $base.pl
rm $base.prl
