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://228dc074-648e-43be-a765-fcbb4920e886
pengine://4c430d89-830c-4d5d-9caa-d8464b19d07b
pengine://4e22f8e7-4793-4b72-846d-a2a5e348d654
pengine://6a62f537-855a-41e3-9694-ea632c22b3d0
pengine://6bc1dd2d-b8bb-4b44-a008-167f4d7bd403
pengine://7521b13b-132d-4b6e-8a0c-055ee2f5bd6e
pengine://8a7a1cd3-a5d7-474b-bb51-b04b141738ae
pengine://997e3adb-a45a-46e5-a966-f4b8d7bb194d
pengine://a0605795-b1c0-4774-9b4a-0846f887d73e
pengine://d75a18db-2521-4fad-a01a-208a6a08bcec
pengine://ecb8b1b4-0966-427a-8a77-1fc80a9a4905
pengine://ef7a1498-060d-4f64-a16d-9dbb6a55388d
pengine://f71723c0-e2b8-4547-9395-d69c045d5591
/swish/pack/sCASP/prolog/scasp/embed.pl
All
Application
Manual
Name
Summary
Help
prolog
scasp
embed.pl -- Embed sCASP programs in Prolog sources
begin_scasp/1
begin_scasp/2
end_scasp/0
scasp_call/1
not/1
-/1
scasp_model/1
scasp_model/2
scasp_stack/1
scasp_justification/2
scasp_listing/2
gxref_called/2
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
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_stack
(-Stack)
is
det
True when
Stack
represents the justification of the current sCASP answer.