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