diff options
Diffstat (limited to 'src/eval_bevan/eval_bevan.sh')
-rwxr-xr-x | src/eval_bevan/eval_bevan.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/eval_bevan/eval_bevan.sh b/src/eval_bevan/eval_bevan.sh new file mode 100755 index 0000000..31e7941 --- /dev/null +++ b/src/eval_bevan/eval_bevan.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +in=$1 +cat $in | sed 's/W//g' | sed 's/( /(/g' | sed 's/ )/)/g' | sed 's/#.*//g' | sed 's/^0$/0/' | sed 's/()//g' | sed 's/ /,/g' > clean +./format_prolog.py clean ~/src/semparse-old/work_psmt/test.fun > test.pl + +swipl -l "/home/jacob/src/3p/wasp-1.0/data/geo-funql/eval/eval.pl" \ + < test.pl \ + > test.out + 2>> errlog |