[not loaded]
main.pl -- sCASP as a stand-alone program
This module allows running scasp as a stand-alone program that loads one
or more scasp source files, answer the (last) query and exit.
main(+Argv)- Used when calling from command line by passing the command line
options and the input files.