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://0c02d059-54be-4903-abf1-7ed244fb2725
pengine://1e57de02-28f0-48bf-89fb-e7e630d2277c
pengine://28930e7e-034e-45dc-b10f-d2689a6c1e5f
pengine://3f93edd9-0405-4aaf-88b3-7ae8c7709040
pengine://6f2abbef-b3a6-4940-90c7-a899c65fe09a
pengine://79c793b0-2534-40a2-b1e7-70f78153c81f
pengine://9175ebd3-bb2d-474f-8935-f9d99f010f7c
pengine://9dcfbc89-f21a-46dd-a81c-2d36f224f63e
pengine://a5a75572-c25a-4b0f-a2d5-e2ba0efa9847
pengine://a6e04322-78d5-46c1-95b9-4b85efbbd982
pengine://a9e374e0-6894-4003-b3f1-d24153230800
pengine://bf098156-7875-4d76-a68b-e19ef4d56c3c
pengine://c90616e7-0558-4956-a7cb-ccbc0f18f86b
pengine://da1ab248-728f-45d9-b2b3-a9e310bb3480
pengine://dbe3ae0a-b22d-4688-a10c-a4e85694d73b
pengine://f1a80a5f-45f6-4c1b-9b73-5f0ce0576f8a
pengine://fa202019-b959-4596-b211-83c38da9b5d1
pengine://fe3484f3-5445-4450-a2e7-97402943a2e0
/swish/pack/sCASP/prolog/scasp/listing.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
scasp_portray_program/1
scasp_code_section_title/3
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_code_section_title
(+Section, -Default, -Title)