List extension packs
/app
/app/spacy
/app/swish
/app/tokenize/prolog
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/rserve_client/prolog/r
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
pengine://0a5a7298-1be4-4740-8601-566ad8feb09c
pengine://0b183a0c-4c67-4eb6-8f7e-86c87e624c0a
pengine://460b3eeb-0fc7-45a8-bb24-c8f7c634a108
pengine://4b374919-a5df-45a1-80e4-7006d2d64ad9
pengine://591f1f13-8854-4df8-a29c-6881d8b7e912
pengine://7274d9da-60a6-479e-bc18-57db8a99159e
pengine://9445ced7-e637-4816-a3e6-e54263587be3
pengine://95e5359a-7b57-45d8-9365-fd8328a6f146
pengine://98b22f2c-2b0a-4dbb-aa82-a294605b21ec
pengine://e112d2f2-7284-465e-b724-440d778a0d69
/swish/pack/sCASP/prolog/scasp/verbose.pl
All
Application
Manual
Name
Summary
Help
prolog
scasp
embed.pl -- Embed sCASP programs in Prolog sources
ops.pl
input.pl -- Read SASP source code
common.pl -- Common predicates used in multiple files
program.pl -- Input program access
variables.pl -- Variable storage and access
source_ref.pl -- s(CASP) source references
compile.pl -- s(ASP) Ungrounded Stable Models Solver
predicates.pl -- Basic information about sCASP predicates
comp_duals.pl -- Dual rule computation
options.pl -- (Command line) option handling for sCASP
nmr_check.pl -- Detect OLON rules and construct nmr_check
call_graph.pl -- Build the call graph used for NMR check construction and indexing.
pr_rules.pl -- Output formatting and printing.
modules.pl -- Encode modules
solve.pl -- The sCASP solver
verbose.pl -- Print goal and stack in Ciao compatible format
scasp_warning/1
scasp_warning/2
scasp_trace/2
scasp_info/2
print_check_calls_calling/2
print_goal/1
model.pl -- sCASP model handling
output.pl -- Emit sCASP terms
stack.pl
listing.pl
human.pl -- Print s(CASP) output in human language
html.pl -- Render s(CASP) justification as HTML
html_text.pl -- Switch between HTML and plain text output
messages.pl
dyncall.pl --
swish.pl -- s(CASP) adapter for SWISH
json.pl -- s(CASP) JSON I/O
scasp_trace
(+When, +Term)
is
det
Emit a debug messages through
print_message/2
.