call_graph.pl -- Build the call graph used for NMR check construction and indexing. |
|---|
| common.pl -- Common predicates used in multiple files |
|---|
| comp_duals.pl -- Dual rule computation |
|---|
| compile.pl -- s(ASP) Ungrounded Stable Models Solver |
|---|
| dyncall.pl -- |
|---|
| #/1 | Handle s(CASP) directives. | |
| #</2 | Implementation of the s(CASP) constraints. | |
| #<>/2 | Implementation of the s(CASP) constraints. | |
| #=/2 | Implementation of the s(CASP) constraints. | |
| #=</2 | Implementation of the s(CASP) constraints. | |
| #>/2 | Implementation of the s(CASP) constraints. | |
| #>=/2 | Implementation of the s(CASP) constraints. | |
| abducible/1 | Declare Spec, a comma list of heads to be abducible, meaning they can both be in or outside the model. | |
| scasp/2 | Prove query using s(CASP) semantics. | |
| scasp_abolish/1 | Remove all facts for both PredicateIndicator and its classical negation. | |
| scasp_assert/1 | Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation. | |
| scasp_dynamic/1 | Declare a predicates as dynamic or thread_local. | |
| scasp_query_clauses/2 | | |
| scasp_retract/1 | Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation. | |
| scasp_retractall/1 | Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation. | |
| scasp_show/2 | Show some aspect of the translated s(CASP) program. | |
| embed.pl -- Embed sCASP programs in Prolog sources |
|---|
| html.pl -- Render s(CASP) justification as HTML |
|---|
| html_text.pl -- Switch between HTML and plain text output |
|---|
| human.pl -- Print s(CASP) output in human language |
|---|
| input.pl -- Read SASP source code |
|---|
| listing.pl |
|---|
| messages.pl |
|---|
| model.pl -- sCASP model handling |
|---|
| modules.pl -- Encode modules |
|---|
| nmr_check.pl -- Detect OLON rules and construct nmr_check |
|---|
| ops.pl |
|---|
| options.pl -- (Command line) option handling for sCASP |
|---|
| output.pl -- Emit sCASP terms |
|---|
| connector/3 | Get an ASCII or Unicode connector string with the claimed Semantics. | |
| human_expression/3 | If there is a human print rule for Atom, return a list of format actions as Actions. | |
| inline_constraints/2 | Get constraints on variables notated as Var | {Constraints} and use assigned variable names. | |
| ovar_analyze_term/1 | Analyze variables in an output term. | |
| ovar_analyze_term/2 | Analyze variables in an output term. | |
| ovar_clean/1 | Delete all attributes added by ovar_analyze_term/1. | |
| ovar_is_singleton/1 | True when Var is a singleton variable. | |
| ovar_set_bindings/1 | Given Bindings as a list of Name=Var, set the names of the variables. | |
| ovar_set_name/2 | Set the name of Var to Name. | |
| ovar_var_name/2 | True when var is not a singleton and has the assigned name. | |
| print_model_term/2 | Print a model element to the terminal. | |
| pr_rules.pl -- Output formatting and printing. |
|---|
| predicates.pl -- Basic information about sCASP predicates |
|---|
| program.pl -- Input program access |
|---|
| solve.pl -- The sCASP solver |
|---|
| source_ref.pl -- s(CASP) source references |
|---|
| stack.pl |
|---|
| swish.pl -- s(CASP) adapter for SWISH |
|---|
| variables.pl -- Variable storage and access |
|---|
| verbose.pl -- Print goal and stack in Ciao compatible format |
|---|