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/stomp
/usr/lib/swipl/library/ext/sweep
/usr/lib/swipl/library/ext/table
/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://00ac383e-a668-4ae4-8916-e809594f2a7f
pengine://01343df3-07df-4527-b06d-ef05f3afdd88
pengine://02e59fb5-2420-4f80-a6f8-0e70e2d86d1e
pengine://03bfe78a-1dec-46f3-a95a-04b1333ab499
pengine://07112ec8-ea06-4066-9e08-b821bed0f66e
pengine://081dff38-1ec7-4ce8-a7a7-5cb47adfa60b
pengine://08ff2513-0650-40e0-8769-d4bb06147ac9
pengine://0a2de454-2344-4355-9260-817001f55ab9
pengine://0b87eb96-d1a7-45e6-a464-9f5b139c1956
pengine://0be1a8fb-2dfc-4285-91fa-f8706d13fa8e
pengine://0bfa361b-d06a-4c7e-abe4-ddcdcbe390af
pengine://0c0e7885-0050-4a3e-b14b-4a15231e8434
pengine://0cf2b4f3-9e0d-419f-ba24-e475d5b7ae82
pengine://0f624bcd-274a-41a7-8847-ba6113db1faa
pengine://0fcd195a-18b8-4b15-8199-8196f6246eaa
pengine://11a51cea-b413-46df-80ff-5729e2eada88
pengine://12955505-7cb3-4208-b659-e1a53a417fca
pengine://12c498c0-1084-4563-9f08-80d5f4c0be0e
pengine://1332f174-d57f-4e81-af1c-9774641f3254
pengine://14c1751f-0b33-4124-84f7-6bb70fa06b51
pengine://14cd531e-081b-4597-9855-b3bed89e0305
pengine://150f558f-1524-49a0-bd89-912c2cb13be5
pengine://1616dba3-8200-4850-9098-659b48018b79
pengine://166f750a-a137-45fb-a126-f0c4a21f901f
pengine://19a7c066-6484-435b-9f9d-bd76d51974ee
pengine://1a01efee-360d-4e6d-9c72-dd8974064874
pengine://1cdc7a64-0cd1-4433-9c1a-2e29f35abde8
pengine://1d7380fa-1c79-4ab8-8c1f-bf6fe579ef30
pengine://1df317b2-64df-4122-9dbe-55a9e98054c7
pengine://1e2492f4-7934-4576-b181-9686b77aa949
pengine://208ee6fd-71c1-41e8-b271-830c28d22bd3
pengine://20bbac69-62c2-451b-bfd9-4189b19f7018
pengine://2479fa38-8ee2-4ee5-9f1a-3436c98b4775
pengine://24873184-2aee-4c53-8b5d-81340ed21f7d
pengine://24b8ab9f-b14f-49e2-942e-e1e2c649126c
pengine://267fb3dd-116a-4786-9d1c-9cf3187fd53b
pengine://2713a55f-c0b0-4546-be20-2f57aebde182
pengine://27d5deec-2430-4c0a-999f-bb8b30644639
pengine://28b2caf1-2d8d-4d18-9937-afbc003be1f8
pengine://2971ee66-e746-4ab9-8156-729d9057ea04
pengine://2a31685d-4975-4d1f-8da4-0f5770cbdb3a
pengine://2c66ff20-9c4a-4feb-b736-d5856385a97a
pengine://2c6e48c3-0ecd-4f4c-a025-733865b3dcde
pengine://2c723c76-f108-4e86-a0d0-a5d494128fe9
pengine://2d802b35-29d2-4ec8-a3b6-429cd4185854
pengine://2ed38713-9a30-4c6a-a43c-da9b5d45d33d
pengine://2ed4a998-1b20-4ab4-9090-1836483c68ee
pengine://2ee15cb0-9a34-477f-afb5-e878793ba4a3
pengine://2f185c39-4489-49b9-8d0b-67bb0ed30ae1
pengine://3447dad6-552a-484c-af22-768676a022e3
pengine://35034b86-f846-42c7-83af-a9834eabba48
pengine://35c011a2-e1b2-4acf-a989-d8fc2484a1a7
pengine://367d2253-0917-4b2c-99b4-ce0fd8ed3d6b
pengine://37688d27-a4b0-4d16-9130-48c8d505a86a
pengine://38c05694-5753-43fc-b0a8-8c8422e87d37
pengine://38db40de-c0e2-4745-b181-6d822a8d16ca
pengine://3a39e59a-0f49-4d82-83d2-09db2b105d85
pengine://3e693aa9-370b-46ac-bb54-445c6081b634
pengine://3e7d2fd2-9362-4f4d-a4ba-6235429110cb
pengine://4093e702-7b66-4032-acb7-8ff69ede1c1d
pengine://438e292e-04a4-4a6a-b235-4185897d0924
pengine://458f047b-660a-4731-baae-248b3981b9ba
pengine://463f74d7-4490-4f96-95c9-d24bfe2d09c2
pengine://46a4c0ba-9dbe-4379-9bd8-2938316c55ee
pengine://48ac3f9b-689a-4e99-8913-77dbe0cb9de1
pengine://4962cea9-cd48-4e50-9a9e-4dc7a090a88b
pengine://4aa637df-773a-4ab5-a500-a1830dd23a06
pengine://4b7117b2-f8a1-4e59-b124-2f80d6bdafab
pengine://4f64c631-123f-4d65-9777-e2a1afa0b8b0
pengine://4fc19d62-93c4-4589-9133-7348e7daa81d
pengine://4ff51223-de2b-426e-8bf2-b8243822a68f
pengine://51c5fe39-50f3-47a1-b792-719b313f223e
pengine://52128eb9-07fd-46ca-ac1e-f4e9a0475965
pengine://549d093d-2e54-412c-b233-2cc2f9abcda1
pengine://57524aea-256a-4267-b54b-88e41474929a
pengine://5a2e74c9-4bbc-40e5-b7e3-736990fe2221
pengine://5b217e33-46b8-4c40-95a9-ee91f1d9a2c8
pengine://5b28627f-9f2b-427c-82db-8fe40167fdaa
pengine://5d7112e9-da5e-47e4-8226-168375452ae1
pengine://6140c857-8993-4cef-8db5-ca54b16c6a77
pengine://61f1ee9e-7b93-4da6-9c26-a4f975715072
pengine://6230342a-41e2-485a-be0a-177104520858
pengine://649f21ac-da80-4f39-b3f1-0f15ce69c74b
pengine://666bf765-e418-4077-bce2-013af5670a60
pengine://671d5623-a796-4dd8-8572-c27b394e0f8c
pengine://67d2f6dd-55ad-43d0-b3eb-bd0b39f807c2
pengine://686a69e0-6315-47e3-a9bf-91e512d71416
pengine://69f48549-7039-49b3-8962-1931c3bbcdb7
pengine://6ab86651-66e5-4f3b-8d5a-5d2cadb9b4b1
pengine://6bba3625-612a-492b-8459-03b9e362dd46
pengine://6bdca713-a51f-4fa7-ab0f-3c705ccee4b7
pengine://703a5466-c423-4c68-aacf-f67ed4d9a714
pengine://72410180-bd04-4ec2-8413-f4cc1680bd51
pengine://73cf817d-c28a-49b9-9462-9a9b501e6f4e
pengine://77147b1b-9264-4cfb-bfb9-da81fb35a513
pengine://7d802e40-e5df-4c93-b7d9-92adea49db87
pengine://7e6492f1-1913-49b1-99c1-e5fff16c76f2
pengine://7e7c0766-5fd8-4351-bde6-bda56dd4e0b0
pengine://7f2d1dc6-257a-4cf4-a62e-b022eaa8e3f7
pengine://7fc968dd-e4fe-48b3-9520-1e30291c5f7f
pengine://822118bd-bf50-469d-897c-994d6e2bcf5a
pengine://82bbd79d-3244-4269-80cc-ee6fb384b0cf
pengine://84da60bf-d46b-400e-8732-a749bbc36344
pengine://8623734c-f8d9-4ab6-aff8-0ac1e758ad21
pengine://867f5386-40a9-4d92-ab37-73ca5b2fc7f2
pengine://88ebe36d-7cba-4976-8a5d-4167953e42ae
pengine://8c0b865e-b306-4fe5-aae7-b09ea364352c
pengine://8d049a73-8a5d-409e-b2c4-85f1be7ffaab
pengine://8d16228c-a2ad-44bf-9e21-a45151790ab9
pengine://8d7fde93-6097-4864-bc71-c4d9f1460372
pengine://8e3255ac-70e8-492c-9a46-7686f0af6ec8
pengine://8edf1212-273d-49ab-9d9b-8fa696d92713
pengine://8f43b352-2fc8-42bf-93d4-577eaf033f82
pengine://94053ced-472e-47aa-b450-4bf6b6011a20
pengine://94fb4e21-1ac9-4b94-a3c2-aa76c6949b71
pengine://95a677a4-298c-45f8-9ab7-37e40b382cfa
pengine://95ec80b4-bce8-4e38-a4f4-19240b36f04f
pengine://9b6c63fc-4f02-4cc7-95b9-9b839f002eed
pengine://9ca55cb9-014d-4468-b121-a2299795f9f6
pengine://9d0865fc-40dc-4651-8a44-151f8681da0e
pengine://9d096a8d-9d6c-4972-b2e1-6cd7a930608b
pengine://9d1e6950-9a78-44bf-9d65-aaeb1df21bf0
pengine://9f559336-573f-443f-91df-6800f89c74fa
pengine://9f6d0833-6bcc-4b6c-9661-291588d03e41
pengine://a009ca5d-bc4c-4eb6-b6e7-b06874dbc44b
pengine://a18ac602-27ac-44d8-8dac-c1b1d36d32b9
pengine://a4ecde98-fbcb-4f2d-9a79-f168f2166811
pengine://a57f2412-b416-4b4f-98a5-d5862dbf5753
pengine://a7218ca7-729a-4213-baae-1d3171301b29
pengine://a8c4b438-4bdd-4e91-aeca-8b1fc450f1b6
pengine://a92eea56-3891-4307-ae05-fbda01fa5b89
pengine://aa9f95cb-d9d1-4152-9234-03941b17dc17
pengine://ab371bd9-3661-4f75-9a6f-85c8b4f337d5
pengine://ad8476ad-04a7-46ec-aded-cae7abd0e812
pengine://ae9e024d-b1ee-43df-aa45-de08af55b300
pengine://aea36833-c57b-4c17-9f58-1cbfe9eb731d
pengine://b0d963c7-dbf9-4bea-8460-e50e194fd22a
pengine://b23a9a45-96f6-47fd-a0f5-050986cf071d
pengine://b28fd141-d2ad-4482-814f-b7c046f894df
pengine://b50ffb8d-dec7-4641-bec6-d300af9f881b
pengine://b7584777-edd1-4d51-8e79-7db94ba97496
pengine://b91fd89b-6915-4194-a3cb-287729c1a586
pengine://b9ca9f6e-f59a-42d8-8b56-9280d6180451
pengine://bb76bdaf-1629-4316-bbf8-3a0368d4f250
pengine://bb9b047b-fcae-4f1d-b2f1-f20207d15e8c
pengine://bc146957-a587-4fef-a14f-4b977e70bc1d
pengine://be55b416-2b56-4431-82f1-61b758474c72
pengine://c054abf3-76ed-4686-9e6a-20f70b4d98af
pengine://c06b1e57-f3f9-4953-8bb5-ddae31a7d2e3
pengine://c198c265-9cc6-47fc-a0e8-367dcd1347aa
pengine://c5c62500-602a-4d8a-ae14-a2dcb5a11382
pengine://c6a16334-a908-425c-b2b8-528d8dd69ee3
pengine://cbeb24a0-36af-49d3-b2b5-9115bfe96e49
pengine://ce866268-351f-43ed-bc88-a7ba9465a1ea
pengine://cf1a8f6f-906d-4b51-bc77-712ce6c605c3
pengine://cf4a9273-eacf-4d08-8db9-b21b77a196d2
pengine://d011f681-a7e3-4c51-9aab-044ec04a5be8
pengine://d084c89f-748e-4995-85c5-c57c7f0982ef
pengine://d510d4ce-e340-4bf9-91ed-4f6a823dd9fa
pengine://d569243c-d53a-4e87-bae5-428ab4011404
pengine://d8e9d0fd-f1a1-4492-86ad-6014b1f4748f
pengine://dafe94db-2036-4e58-8259-4e4722bffa2d
pengine://dd1abd2a-25fe-4c8a-80a9-b1bf2cad63af
pengine://de595f2b-73ff-45a4-85e5-081bb0afdcdd
pengine://df0fc4da-452b-4a99-ac81-b2d8add82e30
pengine://e00f5031-a638-4cca-b889-df5bacbe61df
pengine://e0a57121-4374-4b31-8c4b-00c5cdc689a6
pengine://e103140c-4532-4b73-996e-196f9f83cc9d
pengine://e184ca3e-acec-471e-91a5-1ab94e110bc3
pengine://e4794ffe-52b9-45a9-a28b-5b214575f1bc
pengine://e4fa3f31-040a-4ac4-a24d-7f805492d35f
pengine://e51dc992-dfeb-451b-a2ef-47305a7f9c06
pengine://e6c30ec1-e732-4c11-9a5e-529a685e305f
pengine://e791537b-cce0-409f-866a-3a770b06a8e2
pengine://e84646b6-fef6-454e-9f27-4d8785ab121b
pengine://e8ff08e8-2089-4e80-880f-b4ccd60452b8
pengine://e93b1c4d-7622-4308-bdc9-1813c0efee07
pengine://ea68192a-b3a8-4ee0-adc6-e2de898e97a9
pengine://eabdd5ea-c4b8-49e0-82e7-b68aad0b1f11
pengine://ed7d45a6-af94-49ab-b661-668975721d40
pengine://ed938c74-f90b-491c-b7a1-7e8040e4f321
pengine://ef044a99-49d1-4798-814c-5f9266a2dad4
pengine://ef37ff9f-1f29-4f6f-8bad-1a5fc2bb0e59
pengine://f0c1d08e-4907-4761-9074-556f921aa1df
pengine://f111d32f-2885-4263-ac76-463795c867f5
pengine://f5946e1c-6e50-440c-9d38-2edf6377d14a
pengine://f7c5d3b9-d077-43d1-af16-14d071552b2a
pengine://f9fa2aa2-23d1-44d2-9ef8-323af8552d50
pengine://fc6a7956-19c6-4adf-a2bd-2a629dea8446
pengine://fc9f420f-951b-4ab2-bae0-56aed9830087
pengine://fd410af7-dc7e-4632-abf6-5e81b4acc21b
pengine://feb1a1c7-3c61-4353-89c7-606b3b209314
pengine://ffd4f20a-f909-4c65-ae1c-8193c763f83d
/swish/pack/sCASP/prolog/scasp/comp_duals.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
comp_duals/0
comp_duals3/2
define_forall/3
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
comp_duals
is
det
Compute rules for the negations of positive literals (dual rules), even if there are no clauses for the positive literal (negation will be a fact). Wrapper for
comp_duals2/1
.