scasp

Prolog files

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
comp_duals/0	Compute rules for the negations of positive literals (dual rules), even if there are no clauses for the positive literal (negation will be a fact).
comp_duals3/2	Compute the dual for a single positive literal.
define_forall/3	If BodyVars is empty, just return the original goal.
compile.pl  -- s(ASP) Ungrounded Stable Models Solver
scasp_compile/2	Create an sCASP program from Terms.
scasp_compile_query/3
scasp_load/2	Load the files from Sources.
scasp_query/1	True when Query is the (last) sCASP query that is part of the program.
scasp_query/3	True when Query is the s(CASP) query as a list that includes the NMR check if required.
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_bindings/4	Print the variable bindings.
html_justification_tree/4	Convert the tree to HTML.
html_model/4	Emit the model as HTML terms.
html_predicate/4
html_program/1
html_program/3	Emit the current program in human format using HTML.
html_query/4	Emit the query.
html_rule/4
html_text.pl  -- Switch between HTML and plain text output
human.pl  -- Print s(CASP) output in human language
human_justification_tree/2	Print Tree to current_output in human representation.
human_model/2
human_predicate/2
human_query/2
human_rule/2
input.pl  -- Read SASP source code
load_source_files/1	Given a list of source files, read, tokenize and parse them, merging their output into a single list of statements.
sasp_read/2	Read File into a list of ASP statements.
scasp_load_terms/2	Perform the load_source_files/1 preparation step from a list of Prolog terms.
json.pl  -- s(CASP) JSON I/O
scasp_results_json/2	Generate a JSON document from the results of the s(CASP) solver.
listing.pl
scasp_code_section_title/3
scasp_portray_program/1	Output pretty print of the program + dual rules + nmr-checks.
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
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
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
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
stack.pl
swish.pl  -- s(CASP) adapter for SWISH
post_context/1	Called before the other context extraction.
post_context/3	Bind Var with the context information that belongs to Name.
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