| 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 | ||
| 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 | ||
| json.pl -- s(CASP) JSON I/O | ||
| 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 | ||
| 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 |