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://07fafcc0-cc8f-49f9-9d01-f2f6d588b3a4
pengine://11267511-4e38-4e20-9a8f-38cdbc188b96
pengine://1cb37731-548e-4266-a9cc-e9e4f2523233
pengine://349ea43c-0976-49a5-9c65-b8226379bf3c
pengine://3b75122d-856d-4248-b9d7-8773f66fd5d5
pengine://476783bf-b6a8-418d-8981-042bb87804c9
pengine://5a62387b-3c1d-459a-82c7-4ae7e0cced30
pengine://71f7db60-7fc5-48da-a9e1-85c0e3b5ee27
pengine://72099f37-1b7a-4492-bd99-b0dd3c432730
pengine://74008ea8-6ea1-4059-af97-69f3e2f3c8e1
pengine://7db03b90-fc6c-4364-980d-7470caf35f57
pengine://7eb66eb7-69a9-45a2-8799-eb6781fe1424
pengine://8feff457-ec97-41ad-9977-c1b169483dcd
pengine://93bad97d-47f6-49ba-aac0-3e01a2f9ad52
pengine://99edf06d-d05c-4367-9af8-c2a5519d6f5c
pengine://a4fbb9f5-d503-4ec3-9958-e13a19eac47b
pengine://afecd6f6-56da-4449-b9cb-2c91f1e015e5
pengine://d8ecdf4a-6fb2-492f-93ec-7b6b317170f6
pengine://ecba224c-f65c-4056-9c7e-9edf66f31e2d
pengine://f34b9262-338e-4347-a693-75b4b548f181
pengine://f3890e28-ca6e-4779-8756-ac696696ab10
pengine://f4842fa9-3da1-4aab-9e29-2cba4d4df24d
pengine://f6ecc992-ffb8-4db5-9788-909af7d86100
/swish/pack/sCASP/prolog/scasp/html_text.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
emit_as//2
emitting_as/1
fixup_layout/2
messages.pl
dyncall.pl --
swish.pl -- s(CASP) adapter for SWISH
json.pl -- s(CASP) JSON I/O
emit_as
(+HTML, +Mode)
//
Causes all
emit//1
calls to either behave as
html//1
or convert the commands to output for
print_message_lines/3
.