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  --
#/1	Handle s(CASP) directives.
#</2	Implementation of the s(CASP) constraints.
#<>/2	Implementation of the s(CASP) constraints.
#=/2	Implementation of the s(CASP) constraints.
#=</2	Implementation of the s(CASP) constraints.
#>/2	Implementation of the s(CASP) constraints.
#>=/2	Implementation of the s(CASP) constraints.
abducible/1	Declare Spec, a comma list of heads to be abducible, meaning they can both be in or outside the model.
scasp/2	Prove query using s(CASP) semantics.
scasp_abolish/1	Remove all facts for both PredicateIndicator and its classical negation.
scasp_assert/1	Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation.
scasp_dynamic/1	Declare a predicates as dynamic or thread_local.
scasp_query_clauses/2
scasp_retract/1	Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation.
scasp_retractall/1	Wrappers for assertz/1, retract/1 and retractall/1 that deal with sCASP terms which may have a head or body terms that are wrapped in -(Term), indicating classical negation.
scasp_show/2	Show some aspect of the translated s(CASP) program.
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
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
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
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
generate_nmr_check/1	Get the rules in the program containing odd loops and compute the 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.
clean_pr_program/1	Prepare Module to receive a compiled sCASP program.
generate_pr_rules/2	Translate the sCASP program from the defined_* predicates into pr_* predicates for sCASP.
process_pr_pred/5	Process a #pred Spec :: Template. directive.
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
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