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
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_model_term/4	Emit a model term.
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
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
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.
listing.pl
messages.pl
scasp_lang/1	True when Lang is the language used for messages and justifications.
model.pl  -- sCASP model handling
canonical_model/2
print_model/2	Print the model in aligned columns.
unqualify_model/3	Restore the model relation to modules.
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
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
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
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
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
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
verbose.pl  -- Print goal and stack in Ciao compatible format