List extension packs
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/swish/pack/smtp/prolog
/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://06c94d3e-6aff-4fee-bef9-139d7cdc88de
pengine://0a01a07c-5d1a-4e66-96fb-8e8bb7b97672
pengine://0b4ffdd8-1fb5-4423-b48d-606c26072bac
pengine://131b731b-dc82-470d-bdd3-7121faddb05d
pengine://1beea3e9-7288-4214-85cb-23438f595ac8
pengine://1f32e4f9-6db9-4a07-888b-656807178fa8
pengine://40a6c5e3-517b-4fc3-92d4-fb9a7624d890
pengine://5e49843d-29f0-4a37-baa2-dd6e786e56c4
pengine://6060c9e1-0310-4889-8fa9-2f5d792f7220
pengine://65d53001-707a-4d35-a4bf-9370766ce8b4
pengine://69df7755-51c9-487c-a8a5-eaa1145bec85
pengine://6dd72f50-bf71-4139-8374-fbc6b1afbe48
pengine://75592c15-ca5c-4b86-bb0c-c106f9f08979
pengine://7ddea329-ec50-42a3-aae9-af4ca7278647
pengine://80403f92-0cb2-4813-9c17-2dd38906027f
pengine://8c640ea4-d65b-4ece-ad12-f33d4f1d084e
pengine://8deabb01-8e1d-4c26-a12e-8f779e521fb0
pengine://91faec53-9a32-4cb1-ad37-532f8a4883e8
pengine://9ea8ab3b-94bc-4368-b02c-e91f5a4cd8da
pengine://ab8f65d4-ca69-4eb5-8d65-45b675a0974a
pengine://ac64f2d3-6151-4a53-8bd6-4b788469b96d
pengine://c3ff2689-d523-4e0c-949a-8ce58e51b53e
pengine://cdd06bc5-7b6f-4a36-80b4-40e33ad4dfdb
pengine://d867bb25-1c30-4c10-b649-d5926bc2c74f
pengine://ded8a558-d9c3-429a-b02b-1a9300756a30
pengine://dee4d20b-b3a9-40f7-a518-d81b5783c957
pengine://f78548af-30fc-41f9-b03e-9424c304009e
pengine://ffbc3498-aeb9-4f4e-8e50-9d775541a27a
/swish/pack/sCASP/prolog/scasp/options.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
scasp_version/1
scasp_set_options/1
scasp_set_options/2
scasp_opt_type/3
scasp_opt_help/2
scasp_opt_meta/2
scasp_help/0
scasp_parse_args/3
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
scasp_parse_args
(+Args, -Sources, -Options)
Select from the list of arguments in
Args
which are the user-options,
Options
and which are the program files,
Sources
.
This predicate calls
halt/0
when called with
--version
.