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://00709f56-8943-4944-94c9-aa02eb0c67ff
pengine://0e8bb3a5-48ad-4709-8a97-a912f58dd488
pengine://30b36c2a-ecb0-4766-8933-4d4ae63b9031
pengine://4c8eebb2-2633-440d-878a-ac49635c469e
pengine://5844d3ec-c972-42de-b90e-6ae98ac0eed3
pengine://5914f56f-3174-405b-8d35-5823c7c51601
pengine://5d5270bd-e78a-4816-9031-94d9cc82519a
pengine://769b4634-c121-4b28-b152-bfa52b653aa6
pengine://800af9b6-0b3c-4f60-982d-4fc9ef2c0323
pengine://b0018e91-c6a4-4390-970c-78a59fcb93df
pengine://b253ab46-2278-433a-b153-9b6af3f971ae
pengine://f9ff468b-ddcf-416f-8f32-4f9f007c5829
swish:
/swish/pack/sCASP/prolog/scasp/predicates.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
user_predicate/1
table_predicate/1
prolog_builtin/1
clp_builtin/1
clp_interval/1
scasp_compiled/1
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
prolog_builtin
(?Goal)
Success if
Goal
is a builtin prolog predicate (the compiler introduced its dual)