GENERAL INFO: shifter reads a logic program from standard input and writes on standard output a rewritten program performing disjunctive rule shifting and/or ground query rewriting in a strong constraint.

INSTALLATION: Uncompress shifter.zip, move the shifter file in the working directory, set the executable permission e.g., by executing chmod u+x shifter

SYNOPSYS: ./shifter [options]

OPTIONS: 

 --ground-query, -q
     enable ground query rewriting.

 --shift, -s
     enable disjunctive rule shifting.

 --syntax-shift, -ss
     enable syntax trasformation (transforms '<>' into '!=', and 'v' into '|').

 --noground-query, -nq
     disable ground query rewriting.

 --noshift, -nS
     disable disjunctive rule shifting.

DEFAULT OPTIONS: --shift=enabled --ground-query=disabled

USAGE EXAMPLE: cat file.asp ./shifter > transformed-file.asp

SUPPORTED SYSTEMS: shifter is an ELF executable built fot the Linux like operating system 
