[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.

 error(Error)[private]

Report expected errors concisely and unexpected ones with a full backtrace.

 main_loop(+Options)[private]

Run an interactive toplevel loop. Invoked by `scasp -i ...`

 solve_results(+Query, +Bindings, -Result:dict) is nondet[private]

 print_answer(+Nth, +Resources:dict, +Options)[private]

 main_print_model(+Model, +Options)[private]

 print_query(:Query, +Bindings, +Options)[private]

 print_justification(+Tree, +Options)[private]

 html_print_results(+Results:dict, +Options)[private]

Options processed:

human(Bool)

If true, open the HTML in human mode. Default is to use the formal notation.

collapse_below(Depth)

Collapse the justification tree below the given level (default: 2).

style(+Boolean)

When false (default true), do not include the HTML style sheets.

script(+Boolean)

When false (default true), do not include the JavaScript.

 styles(+Options)[private]

Include the style sheets unless --no-styles is given.

 ask_for_more_models is semidet[private]

Ask if the user want to generate more models (execution from console)". Fails if a next model is requested.