Var | {Constraints} and use assigned variable names.Name=Var, set the names of the variables.| call_graph.pl -- Build the call graph used for NMR check construction and indexing. | ||
|---|---|---|
| a/4 | Arc in the call graph from Head to Goal. | |
| ar/2 | Associate an arc ID with a list of rule IDs. | |
| build_call_graph/2 | Build and assert the call graph. | |
| destroy_call_graph/0 | Retract the assertions for the call graph. | |
| common.pl -- Common predicates used in multiple files | ||
| comp_duals.pl -- Dual rule computation | ||
| compile.pl -- s(ASP) Ungrounded Stable Models Solver | ||
| dyncall.pl -- | ||
| embed.pl -- Embed sCASP programs in Prolog sources | ||
| gxref_called/2 | Hook into gxref/0 that may extend the notion of predicates being called by some infrastructure. | |
| -/1 | sCASP classical negation. | |
| begin_scasp/1 | Start an embedded sCASP program. | |
| begin_scasp/2 | Start an embedded sCASP program. | |
| end_scasp/0 | Close begin_scasp/1,2. | |
| not/1 | sCASP NaF negation. | |
| scasp_call/1 | Solve an sCASP goal from the interactive toplevel. | |
| scasp_justification/2 | Justification for the current sCASP answer. | |
| scasp_listing/2 | List the transformed program for Unit. | |
| scasp_model/1 | True when Model represents the current set of true and false literals. | |
| scasp_model/2 | True when Model represents the current set of true and false literals. | |
| scasp_stack/1 | True when Stack represents the justification of the current sCASP answer. | |
| html.pl -- Render s(CASP) justification as HTML | ||
| html_text.pl -- Switch between HTML and plain text output | ||
| emit_as/4 | Causes all emit//1 calls to either behave as html//1 or convert the commands to output for print_message_lines/3. | |
| emitting_as/1 | Current emit mode. | |
| fixup_layout/2 | Fixup layout instructions in the token list. | |
| 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 | ||
| assert_nmr_check/1 | Assert the NMR check. | |
| assert_program/1 | Get rules, initial query and called predicates and assert them for easy access. | |
| assert_rule/1 | Assert a program rule. | |
| defined_nmr_check/1 | Dynamic predicate for the list of NMR sub-checks. | |
| defined_predicates/1 | Dynamic predicate for the list of predicate symbols defined in the input program. | |
| defined_query/2 | Dynamic predicate for query. | |
| defined_rule/4 | Dynamic predicate for asserted rules. | |
| destroy_program/0 | Remove all asserted predicates to allow multiple funs with different programs. | |
| replace_prefix/4 | | |
| reserved_prefix/1 | Define reserved prefixes for predicates and compound terms. | |
| 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 | ||