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/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/nlp
/usr/lib/swipl/library/ext/odbc
/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/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/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://0080c1ab-ff74-4b33-bd7c-270a3b27baec
pengine://098bc655-698f-4842-a1a1-4eafd962b0c1
pengine://0b45b4a3-c654-4f50-a234-9b33b3cfbdd5
pengine://0df61d48-24f3-4222-bd03-d2ada3b26724
pengine://1220ccff-66a7-4257-ae42-0762bf9af557
pengine://1250fc2f-579d-477c-ae2f-79fabfcfd9ce
pengine://125e63a0-9bd1-4988-a6e4-1e413434a9fa
pengine://14e4b6bf-2a80-4164-9d95-e024b3d2dfba
pengine://18a1c87c-6fb5-412b-a22c-c5a560860d40
pengine://195e95cd-73df-4e53-9b05-9343accf4412
pengine://1c938c62-e8fd-4424-aedb-4cb5115a9e0b
pengine://1ca23250-3d16-442f-94f1-cf432effad32
pengine://1e81c81a-dc9e-4bdb-b699-3cb3e14f8853
pengine://21e4d9b8-7a55-4e7e-8c72-1827965d17b8
pengine://2242af5a-8a81-4307-93ea-5963b6d4af7a
pengine://22b08f2c-d353-45ca-bd45-bb8831372c89
pengine://2348349d-f361-4b6e-b008-b3f381dc8cae
pengine://2577f301-852f-4eac-9fb2-6e699de284cb
pengine://2738a0e0-fe2a-47ca-8b96-6713bf7641ff
pengine://2d4c00b8-82aa-450f-93a7-bd971b1c902d
pengine://31edad54-b38a-4644-bb99-884197dab7de
pengine://381c704e-5364-45cc-9e61-3abe7910cd04
pengine://3874b69d-6e81-4040-a59b-728b77655da8
pengine://3a11a359-68d4-4bda-b392-582500e480f7
pengine://3a59993a-5ef5-4d21-8306-015c6d0d23e3
pengine://3ac8a244-7383-4bee-85d9-f49250328a96
pengine://3ad4b164-de2f-40b1-9c9e-e8c916b6be19
pengine://3b1bd39e-a996-4207-9521-27b82a9dc059
pengine://3b6b9081-c2e1-4fca-b359-45000ec7c58b
pengine://3bc7e782-dcf8-4454-aaa7-5dd4333567f7
pengine://3c566e06-2dbd-48de-81ae-1f9549c443c8
pengine://3d6c6931-6c1e-4f8e-8f46-a4fbd09f6a6f
pengine://3dc9f763-72b6-4965-99a7-fba025accfe8
pengine://3e9ddf04-a86a-4630-952e-77ecba32b2c2
pengine://40113390-28c2-4ccd-8935-4ae738f39df6
pengine://40372b72-b3e1-49e3-b4f6-b268646d450e
pengine://41cbca71-fe06-407f-ae36-855523accd17
pengine://42bd88b4-5447-44a6-b416-2b5bcbe7cb04
pengine://43c98ca5-39f6-4776-bb32-0eb2a08963d3
pengine://44fb28f8-0c9f-4f59-8062-cc42e2f52556
pengine://4965607f-e822-4c2f-91dc-6acd5d3cc86b
pengine://4bcd6f2a-d2cc-4b4a-9c58-93b60373581c
pengine://4d410a02-653b-4b01-a5cc-041b52053fc1
pengine://4e5b9e96-efa5-4217-a60a-0e690f8b2d30
pengine://500d47d2-0978-4135-9001-149602a842ea
pengine://5275b828-56f0-42e1-8694-90c5be6e7fc0
pengine://54001ab3-50ca-4e6c-aaf0-d4ff795dd6b1
pengine://54d36ec7-da8c-43da-bf1f-db4d95e7e170
pengine://554d9e1e-0eeb-49f4-9b31-1ea85c03468d
pengine://559f7f0c-d065-484e-ac9d-048dda085305
pengine://57839e18-bf66-46a2-b715-3dd6f76131b5
pengine://58458281-31a5-4f13-b462-2f22f4f27031
pengine://58a370c9-da00-433f-b4fa-cee05000660f
pengine://5c31eba5-5f5c-45ff-8dce-a22a1354f045
pengine://5db7b1c8-a95e-4d05-8c81-a0278e937674
pengine://5ec011f7-9fdc-4387-aaac-fc9d12298ca9
pengine://60165571-98fd-4ccf-a3ce-94865213979b
pengine://64870b40-a3eb-4e54-9521-1ca479e00da4
pengine://66916440-182a-423e-9adf-1b4cc1eda552
pengine://67efded7-9d81-4b45-a97a-0388fbc00434
pengine://6860c019-99c7-4f32-b1f1-2f0c7a144ab6
pengine://6afe5472-f6f2-4edf-9e4d-602d6712f762
pengine://6fa04bb2-c5a2-440c-82ef-954ca369b39d
pengine://6fbfcbd4-5355-4530-b09c-585e56ffe223
pengine://7187d8d5-d213-4966-a771-3c4339adc27d
pengine://71c958b9-b713-4af0-beee-f0730c97a0e0
pengine://7301a9aa-5b51-4d2d-bd93-a98f0bf41b4e
pengine://7395c4fa-21ab-4b5d-bd78-6b0c8b0dcd74
pengine://74017dcb-d5ce-43ad-b07e-0cea5822bfbd
pengine://742240ec-1c61-48b6-b726-d99d269f1663
pengine://7467cee0-2ed1-406e-aab6-60d94469ddfc
pengine://74c683d4-d525-4bd6-bd83-ca337263be44
pengine://74e0c2f1-25c8-4460-9da1-88476d12c4bf
pengine://77bef042-f48b-4191-820f-58197a05bd9d
pengine://7bc001be-07ac-4649-8994-adccf217e952
pengine://7bfba8c1-ae8e-498f-bf2d-44a517765033
pengine://7d6a6946-e90c-4aee-92b9-18c80443498c
pengine://7e08780b-ed06-4b7d-9be2-662427b58be3
pengine://88adb784-297c-41e7-b166-4c92858dc779
pengine://88c4a1dd-1774-4a85-8c92-003daddccf2d
pengine://897d3c6a-8eaa-4961-8f4f-4ec680eaf679
pengine://8cf2e06f-6555-4142-90ff-6826bfd24303
pengine://916207f2-bdf1-4c80-8edc-67843f095028
pengine://928cef5b-201b-4305-a5f3-94ed853bff4a
pengine://936a5e70-86ae-4404-bf62-42f6306b1623
pengine://95fe9938-19e6-4e4a-a264-a173ceefaebd
pengine://9601bb3b-aae7-43ad-a003-5e005b94cd29
pengine://97aa4345-feb1-442c-ad1f-39e25b112a84
pengine://9a0d26dd-6136-45aa-9a1a-b699960cdb82
pengine://9a1436d3-d082-4f22-bd75-2399590555a3
pengine://9aa48f9d-7b35-44d4-b0d1-80a1538d0007
pengine://9f3c1f30-f7e1-464e-9f65-eb91392c2e7a
pengine://9fbf353b-ee34-4f2b-ab6e-cb302b3853d4
pengine://a38283ee-f6e4-4315-ba44-ad1ef0789e09
pengine://a3b51a54-8077-4c6c-9048-19309f2087c7
pengine://a511cb19-a6dd-4973-9957-c4c3fd35a798
pengine://a84ea93e-535a-4136-8658-1e9094421fc9
pengine://a9c95ab6-0ec7-4663-94b2-c6a9ac11be35
pengine://ad146b79-346b-4d65-aa04-6154e34fc7c6
pengine://ad92c991-e1d5-4f22-b584-7dfc79bf89a3
pengine://ae3822d3-ffa7-4b5a-988e-98e92e6976d2
pengine://af43f390-aefe-46fa-84c0-197b271d9f4e
pengine://b4c3ddcb-0369-4043-9b3a-9fc84880ca19
pengine://b4efa24f-68c3-4c08-9df2-731e1e7aa954
pengine://ba9df7fc-092c-4556-8f97-16d9b42e4265
pengine://bcca6109-26ad-44fe-889a-61a34c11031d
pengine://bdae6227-c1d5-48a8-80c6-69c90d16d9e7
pengine://c0073c73-3f50-4b8b-8f01-7a60aa887660
pengine://c3735132-ed09-4417-aba0-1de4e7f1902f
pengine://c60a2601-ac1f-4d91-8325-250c45f5dd79
pengine://c7cc543c-66b5-415a-bd97-ccda4b7a5351
pengine://c883b332-bbe0-414b-b4a1-c430760c442c
pengine://c8d92bbc-3722-4a9c-b14a-7c1fd6a5b9fe
pengine://cad5eeca-1738-4c29-8e1a-cdbb17f42700
pengine://cba7cbe5-5995-4a20-be63-97f182e37f29
pengine://cc012b30-c69d-4a37-b4b4-6ac0b4a5aa40
pengine://cd69e929-d449-4293-9f01-0d8035f2d045
pengine://cdf30e09-0ef3-41f7-874a-e561fbab9d36
pengine://ce24c57f-692e-4c70-b735-9ae43f3c1c84
pengine://ceedb17e-24fb-4324-850b-559f2ef4918e
pengine://d110110c-3d36-4764-b930-4a095a34b234
pengine://d1426d73-da9b-4744-adf0-aefceec3931d
pengine://d38541ea-8a25-41a1-a645-269fb82d02dd
pengine://d3c7ac45-451d-43ed-956b-52aafa90d14a
pengine://d5e68264-1e37-47db-80a2-810755c6086c
pengine://d74e60a0-628a-4253-9c9b-cdbe9155633a
pengine://d89964b9-ae55-4571-ac82-ad2386f19a4a
pengine://dbf6332d-d098-4410-ade3-dedb9d168042
pengine://dd3a0ee2-a3d8-4368-ab7a-8f9bfaf7a95b
pengine://dd9d942e-7fd8-42d7-bdc2-11b469d421a5
pengine://de9e667d-c8ae-401e-a70a-19bf2168d545
pengine://dede0b10-ed08-42d2-8319-c0e9adbe5c9a
pengine://e03ee6b5-917e-4ccc-b59e-0ca2c6309156
pengine://e17b6b36-04b2-433a-82bb-0d3dc7bf3c8e
pengine://e3ac0055-374e-4ebf-bca9-df19868e74fd
pengine://e586a1c0-e9bf-423a-89f0-f9700f0a42d2
pengine://e5a4bfe6-d8b5-46d3-bcf0-67f420634dd7
pengine://e7ee623f-ec2d-4771-9117-afe17e09bfc6
pengine://ed03b45f-a136-4e95-8029-f1d19d92706b
pengine://ed10eb6f-017a-4f7d-96e4-f513296c1dc0
pengine://ee0052b9-2a8e-467f-b33a-cdd96d191271
pengine://efef729f-df3c-455d-90b1-d06a7975e0c4
pengine://f1c754eb-652f-4677-9471-702562cb88ce
pengine://f3705c98-a714-4153-a986-c7eb7983a8ec
pengine://f3b1efb1-05f2-4530-bb0d-794c012dcb4e
pengine://f65e5746-d412-4943-8dd2-af816ab9f5ea
pengine://f674b557-817a-4a13-95c6-f8f44534bd79
pengine://f9a656ea-2296-444d-895b-dd88974483c3
pengine://fed958a3-c87f-4e16-bf15-f6b7b9c25f09
pengine://ff3504bd-7521-442c-ac43-54af6a1e8b48
/usr/lib/swipl/library/quintus.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl
broadcast.pl
predicate_options.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl
main.pl
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
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
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
unix/1
otherwise/0
abs/2
sin/2
cos/2
tan/2
log/2
log10/2
pow/3
ceiling/2
floor/2
round/2
sqrt/2
acos/2
asin/2
atan/2
atan2/3
sign/2
genarg/3
prolog_flag/2
date/1
no_style_check/1
mode/1
simple/1
current_stream/3
stream_position/3
skip_line/0
skip_line/1
compile/1
atom_char/2
midstring/3
midstring/4
midstring/5
midstring/6
raise_exception/1
on_exception/3
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
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
nb_set.pl -- Non-backtrackable sets
base32.pl -- Base32 encoding and decoding
statistics.pl -- Get information about resource usage
listing.pl -- List programs and pretty print clauses
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
ctypes.pl -- Character code classification
when.pl -- Conditional coroutining
qpforeign.pl -- Quintus compatible foreign loader
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
tty.pl -- Terminal operations
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
check_installation.pl -- Check installation issues and features
help.pl -- Text based manual
fastrw.pl -- Fast reading and writing of terms
shell.pl -- Elementary shell commands
system.pl -- System utilities
edit.pl -- Editor interface
portray_text.pl -- Portray text
no_style_check
(Style)
is
det
Same as SWI-Prolog
style_check(-Style)
. The Quintus option
single_var
is mapped to
singleton
.
See also
-
style_check/1
.