List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://01409565-8023-4dca-9516-f6e7d3d7f694
pengine://0167a211-2bf0-488a-8743-4b4e69be47e0
pengine://019f208f-6111-4bcb-8c04-7f37ad49d31a
pengine://0357d550-be3e-45af-99a3-d13fbbd66c13
pengine://03a09fdd-5d60-4b46-aaa9-1f1e2aaf6868
pengine://06bc4475-2b72-4ab1-9967-0ee4886d4616
pengine://07fb2fc4-68b8-4eec-b91e-92183b8992df
pengine://083036ed-c1c1-4f03-a4ac-0d5ea565bcaf
pengine://09308499-794f-4a78-9ce3-24f38b3c0466
pengine://093a0837-7906-4546-84bc-a5dcea4453ab
pengine://097705b9-050b-4483-8b77-6ca2c0a25194
pengine://0a6fd0f8-4526-4f56-b6a4-c87116305f7e
pengine://0abf12f2-0216-4210-8def-3b445c3ba307
pengine://115f87b0-f2e5-4bc3-b828-60bbd4f011fb
pengine://13656f9a-c263-4955-a4c4-a3f044f2cc5c
pengine://13940149-f24a-4939-87cf-9619fdd0ec06
pengine://17acbd7d-8de1-4d03-9fc4-e1886be7974d
pengine://1ca1a2f8-1a4c-47ef-9ad6-bd2ad6a8fc2c
pengine://1faded06-fcf2-49be-a1d7-16df3928420e
pengine://20bf40d4-d23a-43cb-b86b-faa034681714
pengine://210d7ad4-fad7-4c5d-ab7d-272612a35abc
pengine://22019f61-ecbf-4486-9571-3fb1da30a37b
pengine://22f5cd65-9417-4c9a-b89a-61318a622659
pengine://25dc4a87-a91a-4139-ba41-af6811ea09b6
pengine://28503518-93ef-46f9-85f1-1eec8a9715e2
pengine://29201dd4-da72-46df-b6b4-8b2470af9819
pengine://29c3b16b-6ee0-4620-bc0a-c1088a1e4921
pengine://2ac1f3b5-1946-4d1e-8f8d-5d461ba3192f
pengine://2d8a6987-a02e-48c3-97a8-ea164c1a8397
pengine://2e155010-8cac-4a8f-a657-e3d5eb6dec7b
pengine://2ec79989-a53a-4eb9-b5a4-293eb44151f6
pengine://30029a67-5d26-4839-8016-837f5f7f8eb9
pengine://365bd44b-9ca8-4937-9525-b6562a35ee08
pengine://37b99900-e0ca-418a-9f85-905dee7fab67
pengine://391a1228-55a2-4947-a7b6-97fcb6643b91
pengine://3c7e4162-81b2-4c75-af05-6ee1d2a0011b
pengine://4091daa8-cab1-4df9-b2d4-0613a1e572d5
pengine://427118bd-0190-444a-b667-84340997afe2
pengine://42943e2c-300b-4758-98bc-eba0ee8eb548
pengine://439176eb-5e76-4513-8925-c268cb8a9d38
pengine://47431280-cbff-4572-93f4-acf067b1be82
pengine://491f5422-45dd-4b11-abab-510f0f78ea9d
pengine://4aaf5819-953a-4b7c-8cc1-824665ba37bf
pengine://4d626244-2035-4847-aaf8-5e0306098e94
pengine://4eda3bc4-8697-4081-b129-1837b511417e
pengine://51a9754f-fd0c-4c19-b5df-2a29b6f6d4f5
pengine://55c17b04-9588-49f4-8c82-a07e285e3dc5
pengine://595736f5-300b-43bd-a515-401d1eec5e5f
pengine://5a99f005-3337-48ab-a181-9ea2a79b6c5c
pengine://5abade4d-c3d7-48db-9dc3-ab9bcec0d384
pengine://6272efdd-a11f-488f-9608-67f63dcba283
pengine://63b3eb01-494a-4ec4-b06b-50b8a325e3ca
pengine://643d7d68-481f-4d25-8837-a27350ae814b
pengine://693549b6-7f28-47ac-b49a-d15a363f6851
pengine://6a0b9b56-6a48-4912-9b1f-0c2421ceb312
pengine://6aaaebe6-7420-447e-a714-42ca388a2ef9
pengine://6b0dcc62-2262-43ee-991d-251b1a7a5a3e
pengine://6b3368c5-8fe5-438d-853f-f40e9a3d0b47
pengine://6be914b0-6bec-493d-8221-fad602613b75
pengine://6cc7b896-19b2-464c-a406-bb8e102b5518
pengine://78011915-b0b9-4291-8019-c3446e50e01a
pengine://787244fb-5ae5-4a4b-8869-24abf2d40e9b
pengine://7bf8602c-5fdb-4ede-946b-c23046141e92
pengine://7dae533e-8ed0-4f9f-b3cb-33241a84423e
pengine://7e10fc2e-c449-4062-a58e-eac5fe8c3e17
pengine://7f37c84f-9801-44cd-bacf-27a487f8464c
pengine://80f3f11c-37a2-497e-9df7-cb81a0061766
pengine://8300b324-a02b-4c26-8af3-19cb94c25e10
pengine://83702aea-2c50-4524-a2da-14beaa07d9b4
pengine://83b1199f-e0c0-4571-9d27-b27e42e56ea9
pengine://88ebd91c-3083-45d6-b563-7e23f1394c8d
pengine://8b6d47a3-e9c8-459c-ba00-7f30d3a947a5
pengine://8c098721-b3d5-44a5-a3f1-af4b93df93d8
pengine://8d898106-5785-47a5-96fe-e5328286b8b9
pengine://8e48fadd-e265-44fb-ab66-5809ca37dcca
pengine://8f1e8f17-c76b-4875-8684-0a35a407a003
pengine://8f72a998-ee50-4102-a076-c7bbc680ec08
pengine://95f5dba8-87f5-4c04-aa97-d17eb2a17d32
pengine://98253181-6262-4dc5-b3cf-263d68747b3f
pengine://9a269209-29e1-422c-b8ba-5657127733cf
pengine://9ab5cb22-ab6c-4819-8bcf-2b7732981c8d
pengine://9c705cc8-3fdb-44bf-a84b-33ff23dbb10a
pengine://9d40dc99-85af-422d-bfd4-f2c1954c5821
pengine://a07f2a7b-b9b3-4a88-89b0-d8a998162524
pengine://a15c7faa-e2d9-4762-ab5d-2551a9b58508
pengine://a1e0029a-4a10-4e99-87a1-4871efa42523
pengine://a2ffedb5-0c80-4c27-ba4d-b116ba226080
pengine://a5b78fe4-299f-406d-b83c-cf22ecf35c19
pengine://a5f2eaf3-c81d-4e18-af41-6edfee4d7628
pengine://a712cb60-7e99-45b0-b894-3fd40c256b8c
pengine://ae4417d7-d952-4f22-926e-d0d7990f9a9a
pengine://b22128dd-9f4d-4db6-8f94-892e0b068ddc
pengine://b27963e8-58e0-4e80-b130-e6aa4879b877
pengine://b3c3dd0b-3d3a-417c-abbf-7cda5f7bb1d1
pengine://b4fbe911-cab3-4de2-9493-6088d20aab7a
pengine://b61bf819-9f7e-40f7-9651-72f1f59a4903
pengine://b7d8e38b-869a-4b3d-a0ad-2b2d6ec76baa
pengine://b820c4a6-f516-4576-b4d7-c472eebd4228
pengine://b97283f3-5ee0-40ca-ac5f-2cabde1c8d92
pengine://bb43e172-9b96-4fd3-aa2c-bcd627de5d7b
pengine://bb9718b3-459c-468b-b6d5-06ab8bdbb446
pengine://bbcebe97-d5ed-483a-96ac-830d6cfbd9cf
pengine://bfed922d-4e9a-4a25-af45-9f6c77fb989c
pengine://c2e7588e-d24a-42b2-a350-bd7873e7d6f7
pengine://d02e6843-a2ed-420b-bbbd-9c3a2d3764d5
pengine://d0a8f32e-73de-47db-b9df-8de21323f7e3
pengine://d3c57d91-b0a2-4476-bd4f-a0a3a0f8f45f
pengine://d54cc03a-0b3b-4370-8a7c-d2972d8d52c5
pengine://d7eed1ad-e0f4-4d92-b2e8-e451b9ed6700
pengine://dbee10ac-3fd1-4753-a2ca-2d15d3090f13
pengine://dc5542c0-0554-4246-bb62-6c026742c59a
pengine://e041c348-157c-4783-b19f-753b1b08ba1a
pengine://e1cee1f5-18b0-4fb0-8933-6af484794dfd
pengine://e43e463a-2a5a-4d2d-882e-bdff01198ea9
pengine://e56f8f11-bf27-4a99-aa6e-ff6983bc3e2c
pengine://e5c4beb7-91cb-47c5-a86b-05d293932b8c
pengine://e71f549e-8794-4337-ac1f-48d7c2741d34
pengine://e8d0f2a0-f57d-4edf-b97b-4973905e4621
pengine://e9a0a9a5-e223-46d4-9871-f9add9b816f5
pengine://eee5f8a0-690c-4e28-8f81-714281efdf0d
pengine://f0ac0497-807c-4bc4-911f-7ae106cce530
pengine://f6104e94-ef89-4b17-8053-aa2d85f77b53
pengine://fc4884c5-4f85-4694-ac7b-8a90f9112cec
/usr/local/lib/swipl/library/nb_set.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl
lists.pl
broadcast.pl -- Event service
shlib.pl
option.pl -- Option list processing
thread_pool.pl -- Resource bounded thread management
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl -- Provide entry point for scripts
readutil.pl -- Read utilities
operators.pl
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
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
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
predicate_options.pl -- Access and analyse predicate options
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl
atom.pl
modules.pl -- Module utility predicates
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl
prolog_colour.pl -- Prolog syntax colouring support.
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
url.pl -- Analysing and constructing URL
www_browser.pl
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
dialect.pl -- Support multiple Prolog dialects
system.pl -- System utilities
terms.pl -- Term manipulation
date.pl
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_stack.pl
edinburgh.pl
prolog_clause.pl
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
prolog_code.pl -- Utilities for reasoning about code
sort.pl
dicts.pl -- Dict utilities
dif.pl -- The dif/2 constraint
varnumbers.pl -- Utilities for numbered terms
pio.pl -- Pure I/O
strings.pl -- String utilities
ctypes.pl -- Character code classification
shell.pl -- Elementary shell commands
backcomp.pl
base32.pl -- Base32 encoding and decoding
charsio.pl -- I/O on Lists of Character Codes
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
prolog_debug.pl
threadutil.pl -- Interactive thread utilities
make.pl -- Reload modified source files
rwlocks.pl -- Read/write locks
listing.pl -- List programs and pretty print clauses
exceptions.pl
prolog_coverage.pl -- Coverage analysis tool
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
help.pl -- Text based manual
optparse.pl -- command line parsing
prolog_trace.pl -- Print access to predicates
quintus.pl
readln.pl
prolog_history.pl -- Per-directory persistent commandline history
prolog_config.pl -- Provide configuration information
thread.pl -- High level thread primitives
intercept.pl -- Intercept and signal interface
prolog_versions.pl -- Demand specific (Prolog) versions
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
prolog_metainference.pl
prolog_codewalk.pl -- Prolog code walker
macros.pl -- Macro expansion
prolog_profile.pl -- Execution profiler
edit.pl -- Editor interface
nb_set.pl -- Non-backtrackable sets
empty_nb_set/1
add_nb_set/2
add_nb_set/3
nb_set_to_list/2
gen_nb_set/2
size_nb_set/2
ansi_term.pl -- Print decorated text to ANSI consoles
oset.pl -- Ordered set manipulation
hashtable.pl
fastrw.pl -- Fast reading and writing of terms
portray_text.pl -- Portray text
prolog_wrap.pl -- Wrapping predicates
explain.pl -- Describe Prolog Terms
files.pl
streams.pl -- Manage Prolog streams
writef.pl
tty.pl -- Terminal operations
qsave.pl
size_nb_set
(+Set, -Size)
is
det
Unify
Size
with the number of elements in the set