[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 ...`
- main_solve(+Query, +Options) is semidet[private]
- Solve a toplevel query. Query is a callable term where variables are
represented as $Name.
- To be done
- - : If
minimal_model(true) is given we must select the minimal
model using printable_model/2 and simply print all answers.
- 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.