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
/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/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/protobufs
/usr/lib/swipl/library/ext/readline
/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/yaml
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/xpce/prolog/boot
/usr/lib/swipl/xpce/prolog/lib
/usr/lib/swipl/xpce/prolog/lib/english
/usr/lib/swipl/xpce/prolog/lib/man
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://01972f75-bb5c-4670-a8c0-73af54f31f76
pengine://03f59882-ece4-43bd-9d6a-20df518dac2f
pengine://04c79949-5280-43d9-8845-c33c290a63be
pengine://0619d193-e576-400e-9337-818b237bd504
pengine://062d9c52-76ee-4d67-abf6-799edb18a882
pengine://08eefedd-ff15-4d0d-ac37-5de46f37b742
pengine://09ca7d9b-c153-49fe-ab1b-7290146356a6
pengine://0b4a8aeb-78ac-400a-997b-f11eb9d964c3
pengine://0b7c89bb-2117-4314-a9cd-8b771a8dee7c
pengine://0c7a5b2a-ceed-4cf8-9426-f4fdd1cc20a6
pengine://0cec4709-2eed-4f5a-9008-443e0bcb720f
pengine://0f5fb75d-d205-4f7e-9ce5-9462a14c554f
pengine://0f9eff31-33f2-4f7f-b332-88e2a8394de6
pengine://10084b28-5b54-472f-b44e-961fd618a839
pengine://11a59609-2c8e-4501-97d2-18944ffee659
pengine://11e3041d-e1fc-49f0-9ed0-b735cd997236
pengine://12c47f16-a37a-44cf-b936-6f769dffed0b
pengine://14337dde-64f6-4266-9f0f-ae3c236bfb12
pengine://14448b76-67cc-480c-ad25-31a42d184f15
pengine://162ac65e-551c-4fbc-950c-11b562132433
pengine://1718f3c8-c40b-4de9-a728-b2dab8b113f0
pengine://1729f8ae-3d08-4718-9111-f0334d90041f
pengine://17ccb3d8-ea06-4f54-a717-a9225d4218d9
pengine://1841b4b8-6966-471f-a904-454f12503b53
pengine://18d4422a-e5ef-4dd7-a772-131aa6436520
pengine://19320020-d13d-473d-8f24-c0456e0f244c
pengine://1a0948ad-d4c9-49c3-9c3f-c91dc3b81bd0
pengine://1a0ebcac-af77-49d7-83b3-c0da04eb6bc6
pengine://1a16527a-a21a-41cb-8113-cf78f678f5bd
pengine://1cfdf39c-3dc2-43ea-9e8e-bd05c588b7fb
pengine://1e512336-4c3e-4d63-8e16-b3d488dd1e49
pengine://1e5ffd96-1160-4a8c-a2aa-dcf95bcdfd6c
pengine://1eab4f14-32aa-47e1-b0c8-51f4fcbe057e
pengine://20ce0e3c-cf0d-48dd-a025-0c21632492d5
pengine://20e43ca5-faf9-44a8-a940-5235f0f4657e
pengine://21a22d4a-8648-474b-8ca1-21442f02afcb
pengine://220e12e8-bb26-4e39-82e8-18705376b0c8
pengine://234965f3-e450-45ac-ad7a-33197bc123bd
pengine://23f88cd0-c796-4525-83d6-968ad088c4e6
pengine://24fceb03-20c0-490d-bfa8-b7833e9f0377
pengine://255e8e31-6061-4efd-a641-663a76a9f792
pengine://2565f4a3-7401-4a1f-991f-d7e09670f87f
pengine://25a2834d-5742-4715-946b-8e9f9c4148cd
pengine://25f06b0a-571b-4c58-a65e-61c558e6f03a
pengine://266f6325-d4d4-4ec3-a5c3-c7f5ae2e4818
pengine://26e61763-4c21-4140-aa9e-ce71a9f21257
pengine://29107897-3340-4f48-8a9f-c532ebb656f2
pengine://2925e687-02bf-44cd-bf0c-f1e01dc82b08
pengine://2983b379-6312-4242-befe-41905e4acbe7
pengine://29ad7252-d725-4629-9d85-0ef04aba0d4f
pengine://2adc04c8-8cc2-4bd1-9c38-e97daeee0b2f
pengine://2ed2c148-d88f-47ce-af83-81df6a5eb375
pengine://2ff3452c-f9e5-4ac2-bbd4-3ab6f5ea3d2d
pengine://30090100-ba3a-4ca9-9643-f380a9bc8593
pengine://30bf283d-d8c1-4114-81ab-186ef601663b
pengine://31500455-838b-4071-8eb1-a05ca2faadf0
pengine://3218546c-2a49-4d6f-aad9-a8aba2438ad2
pengine://3260592d-445e-4908-8990-e38c63b36d8b
pengine://32aa2317-1f88-46df-a56f-d436a4aa3069
pengine://3420f988-eb2c-415d-bbd9-01b43b66f341
pengine://343c4540-d8f0-4bb4-b4a8-503772f82233
pengine://34dcef04-546c-48fe-b282-0e984c8c63d0
pengine://352e03fe-0d98-4696-8e80-af925154666f
pengine://369a715c-3418-4642-a9ac-41f02809a882
pengine://38daff05-73a3-430d-80d9-b36488db5196
pengine://402dfae9-3aa4-473f-930a-ed6350e4590b
pengine://404f5f80-ba6f-484f-a50b-ad77cfed6b98
pengine://4069f3e6-8842-4caf-a7e0-05312907e110
pengine://40aaf49d-ee72-408e-af87-b0c742a0e7b9
pengine://42b1435e-c86c-43d7-a220-a87c560cd45c
pengine://4301cf42-7bcb-4b3d-b7c7-a3c28753f730
pengine://43069ab1-9ff2-41f3-8b56-b57e96d5f744
pengine://438b1583-ccb7-484e-a218-2a0971509e71
pengine://453ea988-d13c-4dcf-bf79-35de55950628
pengine://455da9a7-a552-4a69-83c4-929cc71c9531
pengine://456dec44-2e78-4ef5-a6b0-eec02706b933
pengine://45b38c8a-14b8-46f2-8e2e-cd03f6adccda
pengine://45cf8d2b-6f8a-4e86-8302-f3e1abc52ba4
pengine://4676e378-c6c0-4b01-9db4-25a27cf3d492
pengine://467b0b09-df8d-4b7e-ad91-d47518a26a9f
pengine://47096f13-fd0a-4021-b3f8-b12056bfb4a4
pengine://498b6f97-ae55-42f6-8277-f7369a3723ee
pengine://4b4f2d86-085c-4b1b-9f7a-4d626c05c9bf
pengine://4b97ea49-dad1-410b-a53a-e0606ba3176b
pengine://4c6754d3-46f0-4b37-8b2b-469e120fefa9
pengine://4e83ff03-ee41-46b5-aff9-8db38c95614a
pengine://506d2d4a-61bc-4a76-b046-b2da096dd957
pengine://517acb1c-387a-4f53-9d1f-ab88cf1dc598
pengine://5214eee6-c655-4bc7-a164-2cb9cc5e046b
pengine://54a8564a-9cf0-427c-8bba-aa2fbb1049fc
pengine://558fe1ee-d046-47e3-a73f-daed8e3dd16d
pengine://569d0e69-1eeb-410f-951d-3cc10ae4174a
pengine://59b4a83a-c820-472a-9942-f8f20efceb42
pengine://5b0e7b0d-03b8-49ce-81fd-74c341b6718e
pengine://5d7d6d2e-782d-4d73-8739-567a9ebb9e9e
pengine://5ed9216e-957f-4bbc-b5bd-a17deb128503
pengine://6086230c-2b84-4686-acba-7ac0dcc8955e
pengine://61f5fef7-7290-41e0-8fe8-a34d966535c9
pengine://62f45806-e061-430c-96dc-6c2557c01cd0
pengine://631b7dd8-4f79-4bb0-a3b4-90ec92878a30
pengine://63221513-e931-4596-bb8e-85ddb16f7000
pengine://6384d07a-99f4-42d4-a73c-f40667e653b6
pengine://65c3ff77-b6b1-4ffa-aa44-cd479a17a186
pengine://66c83593-b0fb-4a6c-8e65-74da2bff6af4
pengine://685fa5e5-27ee-4858-84b3-6ef043076713
pengine://69783fd1-e955-420a-91cd-0704572c1882
pengine://6d5c0314-4a0f-4fcc-b854-f8b36106b5f4
pengine://6e42a8ef-0000-44d6-994b-8879297dd18b
pengine://6f893780-c190-45f8-b7d6-b394e3b02ca0
pengine://6ff10de0-5004-4838-881c-d94a0a81fb1c
pengine://70491a1c-b384-47bf-955b-db512595bf06
pengine://71f7fb01-6b6e-4405-a2c5-e6f98bc602b7
pengine://7396f121-9c25-46e8-8c68-017e69840f20
pengine://75445f0c-1d71-44ad-86d9-79bd42b1674b
pengine://75a10157-7b09-4fe3-8cef-ab64c022bc6f
pengine://76150e86-3e31-4f87-949e-1ac42180eb63
pengine://777234e2-8db1-4d2a-9427-fe4990ff7e10
pengine://779f7f48-4aca-4cfc-9786-29b1bb144384
pengine://78594fb9-a700-4ce4-a907-242212a87f84
pengine://79675d1f-b082-4c3f-8e8f-af71dd211796
pengine://798f7b15-e6f4-4177-9034-4368932fce01
pengine://79d8750b-a1e4-4138-8738-76e23bb13ba6
pengine://7b6e1782-4add-4318-bb5d-67e2fc45ab27
pengine://7c1302d1-ee9c-4373-acce-87ced36cf5ef
pengine://7cae04c5-732b-4574-a1b4-02177ad6ec2b
pengine://7e49bf05-4a12-4898-9fd1-acf56d11eab6
pengine://7e4a14fa-e3cc-41a4-9ff8-e507f5fe0002
pengine://7eee4139-18b0-4f8b-a1d6-52c53b3e36ef
pengine://7f1e9524-e618-4d32-92f2-ef76a52dc1b6
pengine://7fbe198a-ebae-4329-a937-02ae1eb3083e
pengine://80c8fe57-a1a0-4104-bdcb-5fe099c3252c
pengine://8271676f-cdd5-4fcc-9e5a-fd69e61f56c2
pengine://8328b327-5873-4b0a-83db-6003ea2f6c0d
pengine://84728738-a260-4499-b63c-8557e0612d6e
pengine://85df2a8d-a9c7-497b-a8bf-a59446552cc0
pengine://8b43c5da-2d7c-405b-ab7e-f335a644fd1a
pengine://8c23e0d0-a066-4bdf-9077-e8c6f6b7466e
pengine://8d022cea-852d-49b9-91b7-5cfcacefd851
pengine://90059983-e8e8-41cf-b032-8ad60bf0b93d
pengine://904ad78c-3f8d-42e5-8e49-2bbd5f96fefa
pengine://904ccbed-38d8-4ec7-a3a8-44be793e1420
pengine://90feae24-3e4e-481f-a497-8ee7ad92b46a
pengine://910cd8a6-7dbb-46c6-aa75-ee5238c41b69
pengine://933aa969-80f0-4788-abd3-8b29c5508d55
pengine://9590edd4-f6e1-4a73-955a-62f915a225bc
pengine://9683218c-5fe4-41b7-aaba-8cd5df718906
pengine://96ba7cc4-b0e7-4341-b068-c6bf5b78c8bf
pengine://972ae343-57e3-46d6-8c13-194044293d6e
pengine://984a0314-5129-49ea-bfb3-15b985e4e284
pengine://99693d6c-6e5e-4d3e-ab41-95d978201270
pengine://99feb24a-cd7b-4aa7-b465-7428599e24ed
pengine://9c72f9ac-fc7e-4086-bad5-610ccbbd71a7
pengine://9e9fa365-c10a-4dcd-b319-e652a4bbe149
pengine://a023323e-aa55-4955-9a3c-db652b0a9ecb
pengine://a0ce2e68-c763-4410-a800-ee097a28d9af
pengine://a0dab24f-6750-490e-9981-834c48dd6df6
pengine://a242711b-8757-46b2-ab5c-5c0af0dc711b
pengine://a2ea85fc-7060-4d4f-881f-55f5f016fc68
pengine://a38f98e9-224d-4a9e-bdb4-2fb974fbb203
pengine://a3e573e4-af30-4f9e-a9ad-ca7fa75b94dc
pengine://a463492e-da07-4caf-8102-abe7e5d98060
pengine://a50f80ea-5fd0-4501-9fce-c531d204197a
pengine://a510957a-4acf-47a7-8eea-1c4dcb116666
pengine://a7aab05f-8563-450e-98ab-d90515393895
pengine://a97fe613-7209-453c-9fe2-04a6e727c964
pengine://ab6eb238-5fd2-48e7-ab05-257298918e1d
pengine://ac4ede93-a646-4692-9a93-b4d5bc0432f6
pengine://ada48976-1ca6-4591-91a4-fac56dae0d95
pengine://af3b6c46-40fd-43a5-89aa-dd7c58efd726
pengine://aff4f2eb-c378-4197-8bfa-5b7297934c2f
pengine://b050bfcd-7a37-467d-88be-a7fd11192418
pengine://b257b2a1-d8ee-460d-bb04-e83dd4aab96f
pengine://b4688b85-5970-4f21-940c-a8ffd0529fde
pengine://b4bc2c76-7a8e-4cf9-94aa-8980e411915c
pengine://b5127fa1-1ee6-46d5-9089-0e8fbd3cf931
pengine://b5548bc7-d389-4ef5-b6bd-8ce9c1933fac
pengine://b78f3230-06b6-4c76-af83-e235e9ef4c35
pengine://b7946d7d-7ad1-47c1-8a32-4b08539124ca
pengine://b7fcd80e-70a5-41f9-9a2d-72bf1882c54e
pengine://b826ecec-8964-459b-8c23-ab033ddcd22e
pengine://b85bab30-f4c7-4909-96ef-76967f58dbda
pengine://ba20ca55-42f1-4bfc-94d4-ac8c7550f0d0
pengine://ba499d06-6350-4019-8a46-4f6ede566aa2
pengine://bbad04cd-2423-4bec-91f7-8e3f14320d03
pengine://bbc60594-4e8f-4b24-b767-fefee404c03b
pengine://bcfa9def-305e-40e6-b364-4a26bb9bd21a
pengine://bd9b5ba2-280d-471e-b9b6-13d7b22f5daa
pengine://bda79aeb-1694-4d10-b77b-bb5a9fdfefd7
pengine://be5db811-8ef1-4328-9be0-17e4358fdaf6
pengine://bfcafbf3-def9-4337-8b33-4c8bdabf3eec
pengine://bfe3a104-8ca7-4072-ba1e-c84c49ffa747
pengine://c1ac8b55-8785-428f-9ca4-4e1b82a180e6
pengine://c1d05e56-5824-4873-8619-3bbe31fcc04e
pengine://c3d5a5eb-82c8-4751-aa0c-697f1bece889
pengine://c4c24851-73be-4bfc-9e99-dfe9a93efed3
pengine://c4e0de12-2ce4-48f7-8515-2f5a436e1c39
pengine://c5778bdf-f6a1-4ce6-84e2-90ddfa4a6c24
pengine://c7d143df-770e-4e9e-91c0-054890e41fa2
pengine://c83e8812-7f86-4501-848b-81b8ad9619a6
pengine://c87cc1b3-860c-48e0-8303-a20fc9c202fe
pengine://c9057a22-4253-4dd8-a405-02eecc3e03be
pengine://caa0dd44-decd-4fef-bd8e-6b1df97b4a2a
pengine://cafd0775-08f3-431f-a3e6-fd040298346f
pengine://cb010e1a-c310-4e05-9f3c-a91e702ec29e
pengine://cb21f308-f0dc-4610-b68c-c301c51f7665
pengine://cf3dc1b3-5615-4847-98ee-bade4342102a
pengine://cf94a031-7522-4b8c-a368-def2ecd6d014
pengine://cfbc7c4e-7281-42c0-951f-eebff6242c4f
pengine://d08802c9-aa3b-4650-9a67-154030b586c8
pengine://d1f23627-c20e-4816-a0ac-6b5d9f62e0de
pengine://d2225235-9b67-4c99-8b94-31900108656a
pengine://d264794d-d909-4005-aa86-c39f463f8749
pengine://d383cfde-c866-4c00-ae99-9bddb9e76213
pengine://d6b9d848-173d-4e18-8bf6-b141b4560128
pengine://d73589cb-7b4e-4f75-a412-c3ca02fae168
pengine://d7c8d574-983e-4115-b06f-c7f45bf5769a
pengine://d82ad6d0-0276-423e-9416-521adbd0f547
pengine://d990dbd2-2de4-4fae-819f-e324107e7333
pengine://dadd5fab-02ee-4f57-8e96-103c0310206d
pengine://db801834-d68d-4a93-99e8-8e6f652040e9
pengine://dcba3350-58e6-4d15-bdfe-cedaeac0e9cf
pengine://dd75639a-20c9-4bd7-91e3-af4c7f398a06
pengine://de593982-1971-4df9-b3f4-f665a97c486d
pengine://de89d3bb-6e7f-46fe-8e5a-0caac7d4ad8c
pengine://df3501ef-273b-40ca-8ec8-a94aa242075d
pengine://e07025e1-dbcb-4937-9c24-4bb3b656efc4
pengine://e1775d70-d517-457b-8907-e2deec2ee8f6
pengine://e2229b98-a100-4a2e-8d86-c3850f939bad
pengine://e2f9f0fb-55f3-4d92-b785-fa680224c314
pengine://e458f8cf-3f0f-49c1-a089-6fb79a3df10c
pengine://e49fe761-9379-4cca-859f-97fd441c7ec0
pengine://e57ab716-970a-47b1-be10-bb228a7b285b
pengine://e95e1e8b-35b4-4e48-89e3-3b3573902f20
pengine://ea5e6e46-8e24-499e-ba53-d1bb27da02c2
pengine://eab98ece-b11a-48c1-9b62-d4db6d922070
pengine://f0d02b31-47ea-4c07-a6cb-902ff1ad8bf1
pengine://f1511226-9ef2-4f1e-851a-20bee47366a2
pengine://f1a1a9d7-185d-460a-8305-38efd3d6f5ff
pengine://f37665c1-d23e-4acc-9f81-b730369493c7
pengine://f45f18fe-a299-4e5d-9d64-24f1fdce2810
pengine://f48cbed6-0bd7-4f53-81e0-b2ba9e6f3aa9
pengine://f52bedc5-69fb-4a8f-9652-ed8da890e6de
pengine://f5361a18-cc47-4e85-88d9-bfccee095571
pengine://fa21aa2a-00c5-42d6-9832-17e90d6ee59f
pengine://fa331785-aeb4-4489-9f47-640c36dceca0
pengine://fd05b99b-02d3-454b-926a-6214bad1d893
pengine://fd4930bb-bc16-4e37-854f-87eb4099884c
pengine://fd79cf9e-beac-409c-af11-84b5ad6dff4f
pengine://fda39b3b-1ad3-417e-afc6-e82693ae902f
pengine://fe269f73-f1c8-4d92-b537-7db3e66ba285
pengine://ff2f9508-32bc-435e-8b25-a8e2bbc1eba6
pengine://ff3baaba-8a7e-4119-ac8b-05d5ac3dde56
pengine://ffa51ca5-36de-4a93-a13a-411e89255f93
/usr/lib/swipl/library/ugraphs.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
predicate_options.pl
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl
gensym.pl
settings.pl -- Setting management
arithmetic.pl
main.pl -- Provide entry point for scripts
readutil.pl
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
record.pl -- Access compound arguments by name
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl -- Modify solution sequences
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
yall.pl -- Lambda expressions
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
modules.pl -- Module utility predicates
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
vertices/2
vertices_edges_to_ugraph/3
add_vertices/3
del_vertices/3
add_edges/3
ugraph_union/3
del_edges/3
edges/2
transitive_closure/2
transpose_ugraph/2
compose/3
ugraph_layers/2
top_sort/2
neighbors/3
neighbours/3
connect_ugraph/3
complement/2
reachable/3
iostream.pl -- Utilities to deal with streams
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
prolog_code.pl -- Utilities for reasoning about code
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
edinburgh.pl -- Some traditional Edinburgh predicates
terms.pl -- Term manipulation
ansi_term.pl -- Print decorated text to ANSI consoles
threadutil.pl -- Interactive thread utilities
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl -- Get detailed source-information about a clause
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
rbtrees.pl -- Red black trees
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
statistics.pl -- Get information about resource usage
heaps.pl -- heaps/priority queues
when.pl -- Conditional coroutining
nb_set.pl -- Non-backtrackable sets
ctypes.pl -- Character code classification
listing.pl -- List programs and pretty print clauses
intercept.pl -- Intercept and signal interface
system.pl -- System utilities
prolog_debug.pl -- User level debugging tools
oset.pl -- Ordered set manipulation
writef.pl -- Old-style formatted write
tables.pl -- XSB interface to tables
make.pl -- Reload modified source files
vm.pl -- SWI-Prolog Virtual Machine utilities
thread.pl -- High level thread primitives
increval.pl -- Incremental dynamic predicate modification
check.pl -- Consistency checking
hashtable.pl -- Hash tables
tty.pl -- Terminal operations
optparse.pl -- command line parsing
exceptions.pl -- Exception classification
shell.pl -- Elementary shell commands
edit.pl -- Editor interface
streams.pl -- Manage Prolog streams
explain.pl -- Describe Prolog Terms
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
prolog_codewalk.pl -- Prolog code walker
readln.pl -- Read line as list of tokens
help.pl -- Text based manual
portray_text.pl -- Portray text
qpforeign.pl -- Quintus compatible foreign loader
prolog_deps.pl -- Compute file dependencies
win_menu.pl -- Console window menu
fastrw.pl -- Fast reading and writing of terms
prolog_config.pl -- Provide configuration information
prolog_profile.pl -- Execution profiler
prolog_coverage.pl -- Coverage analysis tool
prolog_history.pl -- Per-directory persistent commandline history
macros.pl -- Macro expansion
prolog_trace.pl -- Print access to predicates
check_installation.pl -- Check installation issues and features
prolog_metainference.pl -- Infer meta-predicate properties
rwlocks.pl -- Read/write locks
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
files.pl
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
vertices
(+Graph, -Vertices)
Unify
Vertices
with all vertices appearing in
Graph
. Example:
?- vertices([1-[3,5],2-[4],3-[],4-[5],5-[]], L). L = [1, 2, 3, 4, 5]