scasp

Prolog files

call_graph.pl  -- Build the call graph used for NMR check construction and indexing.
common.pl  -- Common predicates used in multiple files
c_rule/3	Convert a rule structure into its head and body, or vice-versa.
create_unique_functor/3	Create a unique functor by inserting the counter characters just before the _Arity.
intern_negation/2
is_dual/1	Succeed if a functor contains the prefix '_not_', indicating that it's a dual.
is_global_constraint/2	True when this is a predicate implementing the Nth global constraint.
join_functor/3
negate_functor/2	Given the functor of a predicate (of the form name/arity), return the negation.
operator/3	ASP/Prolog operator table.
predicate/3	Convert a predicate struct to its components, or vice-versa.
raise_negation/2
rule/4	Convert a rule structure with an id into its head, ID and body, or vice-versa.
comp_duals.pl  -- Dual rule computation
compile.pl  -- s(ASP) Ungrounded Stable Models Solver
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_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
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
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
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
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
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.