List extension packs
/data/config-enabled
/swish
/swish/config-available
/swish/lib
/swish/lib/data
/swish/lib/plugin
/swish/lib/render
/swish/pack/chat80/prolog
/swish/pack/chat80/prolog/chat80
/swish/pack/hdt/prolog
/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
/swish/pack/smtp/prolog
/swish/pack/wordnet/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/ext/RDF
/usr/lib/swipl/library/ext/archive
/usr/lib/swipl/library/ext/bdb
/usr/lib/swipl/library/ext/chr
/usr/lib/swipl/library/ext/chr/chr
/usr/lib/swipl/library/ext/clib
/usr/lib/swipl/library/ext/clpqr
/usr/lib/swipl/library/ext/clpqr/clpq
/usr/lib/swipl/library/ext/clpqr/clpqr
/usr/lib/swipl/library/ext/clpqr/clpr
/usr/lib/swipl/library/ext/http/http
/usr/lib/swipl/library/ext/json
/usr/lib/swipl/library/ext/json/http
/usr/lib/swipl/library/ext/libedit
/usr/lib/swipl/library/ext/mqi
/usr/lib/swipl/library/ext/nlp
/usr/lib/swipl/library/ext/odbc
/usr/lib/swipl/library/ext/paxos
/usr/lib/swipl/library/ext/pcre
/usr/lib/swipl/library/ext/pengines
/usr/lib/swipl/library/ext/pldoc
/usr/lib/swipl/library/ext/pldoc/pldoc
/usr/lib/swipl/library/ext/plunit
/usr/lib/swipl/library/ext/redis
/usr/lib/swipl/library/ext/semweb/semweb
/usr/lib/swipl/library/ext/sgml
/usr/lib/swipl/library/ext/ssl
/usr/lib/swipl/library/ext/ssl/http
/usr/lib/swipl/library/ext/utf8proc
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://00a52b90-38a4-4fec-b88c-86c7a66e6d91
pengine://03e107fd-8abc-4a3d-9f71-b5ad1abdec1a
pengine://05b35dab-8c9e-46de-aa0a-d994ef5cd057
pengine://07dc578c-052d-47d5-8b15-5399536c5c47
pengine://0911ad95-4a16-4ed8-9d99-83f03d446b86
pengine://0fa9d4c5-ab1e-497d-8a77-618ba2897350
pengine://132be7ea-1765-44cc-b0bc-6552c8c60cfb
pengine://142c1e13-cf58-4ad9-a165-e868e88a015f
pengine://1505d2d8-9895-4536-b36c-0a4b322ce90f
pengine://15c55dcf-aec4-456c-9d01-f503c904bc46
pengine://167042ae-76c6-49f9-aa38-6460e3167f30
pengine://18d376d7-42d3-4342-8943-a23420e58956
pengine://1a5d6e34-ddea-49a1-ba8b-d5577402de1d
pengine://1ac54718-c4b6-4427-bd84-59cb1c6f76a9
pengine://1b9c8840-e14b-40f9-b22e-f85a95569b95
pengine://217cd904-2229-4c2e-bc2b-493b58c98ea2
pengine://22414e35-f119-48d9-b855-fdbde4bf46fb
pengine://24485d6d-b4bf-478e-864f-9566a9513044
pengine://24742de8-db02-4bc1-9b1d-3e0ffd8afdc1
pengine://274b648b-fc7d-40cf-bc3a-0aa5f8b5836d
pengine://28c0632f-b10b-4d13-aa05-de413bfae3bb
pengine://2abed4ac-7e32-414b-97ad-a14799f25d44
pengine://2b4c49c0-8785-4d67-96f3-c77c642e053d
pengine://2b5d7413-4018-447c-85e3-3137c05f2ef4
pengine://2ba5449f-7cc2-4b9d-b929-b9b26f822b41
pengine://30e4fbd6-f354-4b97-82b2-59003e425298
pengine://3440409a-48da-4e44-8431-976dcd8f730b
pengine://36ab04d8-c502-4cef-bfa2-9a2804ef584d
pengine://37709065-5ceb-4caf-84bf-15ab6259968a
pengine://37a83b60-18ab-4b37-91db-fcfb309e6832
pengine://3892b5a7-5054-40b5-9771-bb7e63fd7859
pengine://3cfa2b75-497c-4206-a8f5-07f1f715b800
pengine://3d1b11d1-552f-41bc-81c9-f5d05337340f
pengine://3df4ad3d-3c2a-457a-82d6-836ee037b78d
pengine://4062a0be-c132-4ad1-9f43-8aed038a6a60
pengine://40d91d6c-8557-4c0e-b077-4fa58be13f3b
pengine://461bc3bf-3edf-48cd-b929-25e53cbf253a
pengine://467f6a0f-4138-46c9-8911-18779f2f76db
pengine://49c7de83-f10a-446b-8c15-b3770ee637c2
pengine://4d06d2c9-fa16-49df-abbf-8745a6412d8a
pengine://4e367572-5b55-44a1-be77-934558a2d359
pengine://4eface9d-7d39-4e6e-a1d2-cb906137d4b2
pengine://4fb145aa-efa8-4fc5-8b1b-8916dd1b8e39
pengine://5b832c65-55c0-47c8-b340-fd18cc9f98ca
pengine://5d0739be-965e-4693-9f1d-b22bb4f46ef4
pengine://63bbfb11-6799-4313-922e-70781863270f
pengine://6745495a-bf00-4f75-9c6d-1035995c0958
pengine://68c32c8f-5b84-4ed3-a5f7-94526e29f10f
pengine://69ffaa80-60db-4e0a-9cc9-f3ff5681ba23
pengine://6de6d1da-dc2e-4c6c-ac57-0b804b0d3125
pengine://6f1739cf-c624-44c6-a5c7-336d9824e71c
pengine://6f7c5a57-a0cf-4ff3-a9a9-92809a412b88
pengine://731c3ca7-11b2-48ff-a17a-eb60eae28fd6
pengine://73c147a3-9178-4ec4-ac27-44e8198dee12
pengine://748e9fde-82c6-4bcd-a030-9b98bde03307
pengine://77b97f0f-c147-4d57-98c6-e4203aaa1a53
pengine://77c80c54-f76e-47c2-9d0c-c33d554146d5
pengine://798eaee4-de41-43a2-9429-cb634cecfe56
pengine://79d68004-4e12-4bd9-8377-453ea7dbace9
pengine://7e9e13d4-7900-4898-b028-675e0533a244
pengine://7f4e2f03-366d-4a1f-b515-d95912ea2c2b
pengine://83e92404-98d2-4903-8060-3590a594a315
pengine://8806f47e-fac8-4a75-af2a-e8b34b69f5d2
pengine://8886dd42-691c-40e0-b8b4-adb0b112bc7d
pengine://8888cfd7-d1a6-49b1-9c30-db3a12c365ff
pengine://8cb9aef3-ee9b-4645-b36b-7f625c880370
pengine://8ea054d8-3abc-4349-be88-e50410efdf29
pengine://91145413-a3a0-4802-8ad2-eed5a702bfee
pengine://97f54401-f938-4edc-a40d-496776977d92
pengine://9aceaee3-3500-4b5b-b433-22d27d55504a
pengine://a1391f81-f0cc-4668-9f3b-606ff5ef9754
pengine://a2601f5d-3662-4751-8fc7-15621e651786
pengine://a4305929-4a97-4af9-96b2-5f1c94deaea5
pengine://a6ca5942-43f9-4f1b-bcc3-751b5ab7f5d5
pengine://a8106690-4251-430a-8099-77abc87d82aa
pengine://ae965154-f736-42bf-89f6-ece7126e1dfa
pengine://af258759-7c08-402e-84c1-f48686dc3aa5
pengine://b291910c-92fa-4c7f-bc40-cb142f77ac64
pengine://b350dc9b-33d7-46ef-bd8a-cc5f911c9ab7
pengine://b4f3cfd8-3c2b-4086-b5e3-2136e1dbe5cb
pengine://b6c8643b-0e87-4507-8c50-1aac8954990d
pengine://b7a26287-980e-42b1-a693-9a53a4712c7a
pengine://b8415d3c-92d2-4d0d-84ed-94874f7aa4f9
pengine://b9f2414d-25ef-48ff-a79c-44d9cd825450
pengine://bdcb0d81-0966-411a-8706-96b254a8b2d4
pengine://be7f4138-313c-4c29-b587-b54450c97692
pengine://c5165410-986a-481a-a91b-505767c9781b
pengine://c59d45d2-f264-4f1a-9c55-27b86b118981
pengine://c5d81a44-ae4d-4e66-a11e-e5f87309b820
pengine://c5ea2c5c-09f9-4d19-84c4-e408b2ee6f0d
pengine://c6304030-9c40-4820-b893-f853c07c710c
pengine://c93b4323-a1d9-401c-9b3a-06536cc01121
pengine://ca75cd9c-510a-4bc3-9b79-7f7276c7c335
pengine://d01efb21-8e5d-4fde-b33c-81d67f13e740
pengine://d0ca247b-670e-419c-a663-263ad4d8f3bf
pengine://d1c0d2cc-5a0f-4ed4-bb6b-772216e34698
pengine://d2b601bb-9bfe-4239-bf7e-3cbfbfdd39b1
pengine://d64664d4-059e-40b4-9af8-ac6877215c8d
pengine://d7535aa6-3919-4f52-88e3-a403db79d225
pengine://da5e8042-b415-46d3-b83a-d9885eff249c
pengine://dbb17be1-f3b7-4b93-9d40-bad3ce9cde75
pengine://dd4a35ad-0266-4dc0-b1f4-f3c1513b442f
pengine://de62e586-c558-4fd6-b248-7bbd5a4adcc4
pengine://df52df8d-7d60-4ded-a8ac-a4656c9fdcf5
pengine://df9f4712-6383-4184-a6aa-a6bb95c65f90
pengine://e47717f4-525f-4310-9f1e-79dc8d3f1adb
pengine://e529b8c1-43d1-4715-a263-f222146f5536
pengine://e85a0d0e-20c3-4bc9-8b5c-b1b789b4bee5
pengine://ec6f8ff5-1d2c-4497-a030-96c8d47af0b3
pengine://eea0f7b4-8674-41f0-868e-1c2cefdc599a
pengine://f2d3eed9-aae9-473f-b61a-38f32899cdb3
pengine://f4b8401a-e955-4d43-a940-c5b7882ea88f
pengine://f9dde86c-8ba7-40d1-926f-36fe8bb26eb6
pengine://fb77360f-70c6-4ab7-9746-11806fe018f6
pengine://fd17c4cd-8910-46d6-a529-5c72219f5422
pengine://fd572742-a9e6-4e59-bb48-1151b1f3a8ca
pengine://fec7a5c2-2954-4789-aa96-8b574a9f8f1d
pengine://ff99f2db-f470-4311-aa5b-7bf16a31eda7
/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
clp_interval
(?Goal)
Success if
Goal
is a builtin constraint predicate to extract interval limits