s(CASP).:- table pred/n..| 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 -- | ||
| 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 | ||
| 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 | ||
| encoded_module_term/2 | | |
| model_term_module/2 | | |
| scasp_encoded_module_term/2 | Map an explicit Prolog module qualification into one that is encoded in the functor name. | |
| unqualify_model_term/3 | | |
| nmr_check.pl -- Detect OLON rules and construct nmr_check | ||
| ops.pl | ||
| options.pl -- (Command line) option handling for sCASP | ||
| scasp_help/0 | Print command line option help. | |
| scasp_opt_help/2 | Allow reusing scasp option processing. | |
| scasp_opt_meta/2 | Allow reusing scasp option processing. | |
| scasp_opt_type/3 | Allow reusing scasp option processing. | |
| scasp_parse_args/3 | Select from the list of arguments in Args which are the user-options, Options and which are the program files, Sources. | |
| scasp_set_options/1 | Set Prolog flags that control the solver from Options. | |
| scasp_set_options/2 | Set Prolog flags that control the solver from Options. | |
| scasp_version/1 | print the current version of s(CASP). | |
| output.pl -- Emit sCASP terms | ||
| pr_rules.pl -- Output formatting and printing. | ||
| predicates.pl -- Basic information about sCASP predicates | ||
| clp_builtin/1 | Success if Goal is a builtin constraint predicate. | |
| clp_interval/1 | Success if Goal is a builtin constraint predicate to extract interval limits. | |
| prolog_builtin/1 | Success if Goal is a builtin prolog predicate (the compiler introduced its dual). | |
| scasp_compiled/1 | True when Head is part of the transformed representation. | |
| table_predicate/1 | Success if Goal is defined as a tabled predicate with the directive :- table pred/n.. | |
| user_predicate/1 | Success if Goal is a user predicate. | |
| program.pl -- Input program access | ||
| solve.pl -- The sCASP solver | ||
| solve/4 | Solve the list of sub-goals Goal where StackIn is the list of goals already visited and returns in StackOut the list of goals visited to prove the sub-goals and in Model the model that supports the sub-goals. | |
| source_ref.pl -- s(CASP) source references | ||
| scasp_dynamic_clause_position/2 | True when Pos is the stream position is which the source code for the dynamic clause referenced by Ref was read. | |
| stack.pl | ||
| justification_tree/3 | Process Stack as produced by solve/4 into a justification tree. | |
| print_justification_tree/1 | Print the justification tree as returned by justification_tree/3 or scasp_justification/2. | |
| print_justification_tree/2 | Print the justification tree as returned by justification_tree/3 or scasp_justification/2. | |
| unqualify_justitication_tree/3 | Unqualify the nodes in TreeIn, turning the nodes qualified to module Module into plain nodes. | |
| swish.pl -- s(CASP) adapter for SWISH | ||
| variables.pl -- Variable storage and access | ||
| body_vars/3 | Get the body variables (variables used in the body but not in the head) for a clause. | |
| is_var/1 | Test an entry to see if it's a variable (the first non-underscore is an upper-case letter. | |
| is_var/2 | Test an entry to see if it's a variable (the first non-underscore is an upper-case letter. | |
| revar/3 | If Term is a term that contains atoms using variable syntax ([A-Z].*), VarTerm is a copy of Term with all such atoms replaced by variables. | |
| var_list/2 | Get a list of N variables, each of which is different. | |
| verbose.pl -- Print goal and stack in Ciao compatible format | ||
| print_check_calls_calling/2 | Auxiliar predicate to print StackIn the current stack and Goal. | |
| print_goal/1 | Print an sCASP goal. | |
| scasp_info/2 | Emit an informational through print_message/2. | |
| scasp_trace/2 | Emit a debug messages through print_message/2. | |
| scasp_warning/1 | Emit a warning through print_message/2. | |
| scasp_warning/2 | Emit a warning through print_message/2. | |