1#!/bin/bash 2 3guess=() 4check=() 5opts=() 6base="$(dirname "$0")" 7 8i=0 9for x in "${@}"; do 10 if [[ $x == "--" ]]; then 11 (( i=i+1 )) 12 continue 13 fi 14 case $i in 15 0) 16 guess+=($x) 17 ;; 18 1) 19 check+=($x) 20 ;; 21 2) 22 opts+=($x) 23 ;; 24 *) 25 echo "invalid arguments" 26 exit 1 27 ;; 28 esac 29done 30 31clingo --output=reify "${base}/domain.lp" "${guess[@]}" | \ 32 grep "^output(guess(.*).*)\.$" | \ 33 clingo --output=reify --reify-sccs - "${base}/guess.lp" "${check[@]}" | \ 34 clingo -Wno-atom-undefined ${opts[@]} - "${base}/glue.lp" "${guess[@]}" 35