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://007be8dd-fbc8-41da-a2fb-215333503060
pengine://02c03822-bf85-45c9-ae5a-4db2d32df2b0
pengine://076a580f-f025-497c-ab7c-177ce545669c
pengine://09a26dee-bea3-42b3-b8a9-b3c115dbb523
pengine://10859db8-a77e-4d4e-9359-d578591fe248
pengine://12096d55-c28d-45b8-af51-0cf17a446e5a
pengine://13423f10-f6fc-46f4-aa61-22d7f89d5fbb
pengine://16387808-f65e-43cc-a9a2-43b52e64c356
pengine://182e0ada-dc78-4e97-bcf6-de54c888c308
pengine://18b20fd6-d5d6-4153-9625-be3f58eb23ea
pengine://318de669-2d93-45f2-9b77-8a588b47be20
pengine://3231fa26-232a-46c2-83cf-4ae81d89e7e6
pengine://4290c413-faed-4b5c-9cae-f0db66b42ac3
pengine://4331e4c8-b275-4a92-bc41-c92da344a088
pengine://49b61e49-004c-4bac-b6b8-b6747ddeabb9
pengine://50e781be-097d-4547-8aa6-885fa6cff9fd
pengine://522a37ae-77b8-43a6-87dc-a9694bd552ea
pengine://583bb745-ab51-4e71-a334-b5b0851ce353
pengine://5f55aac7-f6d3-4852-8952-eb58c5e0c10f
pengine://6bcf59b1-eb78-4c92-bf2d-7377ab4eb197
pengine://7173366a-983c-4fe3-b206-e00a66f6372c
pengine://76490f2c-4af0-4165-aec6-616e293f29d0
pengine://973b3012-4c0f-4a9c-a434-711e48b5bacc
pengine://9798dd14-5440-4a7b-b583-a77dc2c48fc0
pengine://9aed44a8-8c71-47c3-a884-b4ce7c63b513
pengine://9d6be69b-5c5b-4b58-b32a-bb5caf1a5a2c
pengine://9fe3191c-6052-4edf-a5df-4bbbe477e971
pengine://a5ac1503-906a-4c8c-ba22-d8120e77d055
pengine://ad847df8-6dc2-4a2d-bfa6-7186c5434251
pengine://b761cdff-9057-45d9-8da4-6b4f8731cf20
pengine://ba61a229-b78d-446c-bb22-e444bff0dc40
pengine://c75b635b-367d-4161-bf01-b12319a2689a
pengine://cef7ec1b-6189-475b-8d6e-a70bff8e8d6d
pengine://cf823ae0-5bb8-489c-803f-f42e41425385
pengine://cf999125-0316-4e50-90a3-2438f59d44d3
pengine://d0db1ca0-599f-4c97-8e03-3f9fd34d30a1
pengine://d56080e5-9971-4642-be85-eda50f73fe89
pengine://e444fa90-419e-4fda-ac77-b59b92be5947
pengine://e4db210c-9bd6-42e9-b166-355fb96bbc45
pengine://f31af53e-96f9-44cf-a986-737c879edba5
/swish/pack/sCASP/prolog/scasp/dyncall.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
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 --
scasp_show/2
scasp_query_clauses/2
scasp_dynamic/1
scasp_assert/1
scasp_retract/1
scasp_retractall/1
scasp_abolish/1
#/1
abducible/1
#=/2
#<>/2
#</2
#>/2
#>=/2
#=</2
swish.pl -- s(CASP) adapter for SWISH
json.pl -- s(CASP) JSON I/O
#
:Directive
Handle
s(CASP)
directives. Same as
:- Directive.
. Provides compatibility with sCASP sources as normally found.