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/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/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/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/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
pengine://00a4d877-6d70-4fbe-b1bd-08692655096e
pengine://09f26d8b-00fe-4359-b54f-672eb591ff71
pengine://0a0fcf72-b054-48ab-b77d-f054edb85ba3
pengine://1188ab1f-6230-4ebe-90aa-7effbd83ad80
pengine://14db982e-988a-40d8-9480-16157512ec9f
pengine://170dfefc-e5e2-43f5-a9e4-38212befc0f7
pengine://1717dc62-2b5d-4b15-b980-04977e2f4fb3
pengine://177c5e52-2df7-459a-a219-7f3d63e14c5e
pengine://2fc3547b-df78-4b20-927e-fcdc45247d5b
pengine://47207ea6-3673-4bd0-af85-000b686c515c
pengine://4ec1f727-f849-4e8c-95e8-1d213510162d
pengine://5749c3ab-c5ec-492e-a29e-291b6419a246
pengine://5a19c0e5-9c85-40d5-bb14-fc6f80420589
pengine://69099962-5af0-48bb-8a04-2805fa270177
pengine://6bd47359-56ef-4f4f-9bea-7fd98c078be5
pengine://8003811b-2f28-4cc4-ba6e-bda8339d6c7b
pengine://9564569d-0b43-4980-90e9-818f88117a3a
pengine://9b29900d-23d2-4351-bedc-7a23507e1e66
pengine://9dfc70d2-2488-44ca-8661-7353c38ac413
pengine://9e03215c-8bc6-4f47-9cc3-bc49786a543e
pengine://a1a1363c-ab34-4e41-8fd7-8d36adecfb6c
pengine://a9f0fa2e-fab8-4765-a7b0-aecc1be2a583
pengine://aa8b5967-3598-4c79-b2e6-bdb6033d72cb
pengine://aab8686b-2730-4cb5-8396-23bc15bc8a39
pengine://b0c905ea-27ac-4cb5-97de-d03ca17ac655
pengine://b33fd827-2b93-47e4-87f4-dd11039a3656
pengine://bac4625f-76dd-4bf0-ad01-f8d1524afee2
pengine://c10a8350-212d-4365-80e8-3a82cb20d88a
pengine://c1c3079b-9082-4e9a-bd50-826c8c6fc889
pengine://c8416e1e-1a87-44b4-95e7-cc74982d4298
pengine://cd633bd5-e5ed-48e3-8b17-8fe4aa5d7b7a
pengine://d2a24540-7442-4b53-a535-54f360e895aa
pengine://d8e42838-cc06-4a0c-80d3-faaac7d33b2e
pengine://d950e011-93f4-4612-9006-21f0fd79bc6e
pengine://dd86029b-ba0a-47e7-9744-b6fbe936c8a0
pengine://deb036b7-b919-4fbf-bfe7-0ef86ec6bf99
pengine://e02a1083-3e61-4e46-b982-fd54abc3e6e5
pengine://e0f00f16-8857-4d65-9a32-c52a822603e0
pengine://e4c3dfa5-4585-4e98-b6ab-a63cdcddef41
pengine://eb2a31d3-6a29-43ca-ba62-0a9518eff076
pengine://eb9445ba-28d4-4edd-8960-03ba05cd157b
pengine://f304d431-b677-4c8a-a3ef-5a90c8ed0e09
/usr/local/lib/swipl/library/zip.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl
broadcast.pl
predicate_options.pl -- Access and analyse predicate options
shlib.pl
option.pl -- Option list processing
thread_pool.pl
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
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 -- Prolog syntax colouring support.
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.
dialect.pl -- Support multiple Prolog dialects
system.pl -- System utilities
terms.pl -- Term manipulation
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
prolog_stack.pl -- Examine the Prolog stack
edinburgh.pl -- Some traditional Edinburgh predicates
prolog_clause.pl -- Get detailed source-information about a clause
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
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
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
optparse.pl -- command line parsing
listing.pl -- List programs and pretty print clauses
ansi_term.pl -- Print decorated text to ANSI consoles
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
macros.pl -- Macro expansion
prolog_versions.pl -- Demand specific (Prolog) versions
ctypes.pl -- Character code classification
quintus.pl -- Quintus compatibility
fastrw.pl -- Fast reading and writing of terms
rwlocks.pl -- Read/write locks
prolog_config.pl -- Provide configuration information
prolog_trace.pl -- Print access to predicates
prolog_wrap.pl -- Wrapping predicates
zip.pl -- Access resource ZIP archives
zip_open/4
zip_close/1
zip_close/2
zipper_goto/2
zipper_open_current/3
with_zipper/2
zipper_members/2
zipper_file_info/3
zipper_open_new_file_in_zip/4
threadutil.pl -- Interactive thread utilities
qsave.pl -- Save current program as a state or executable
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
portray_text.pl -- Portray text
prolog_codewalk.pl -- Prolog code walker
intercept.pl -- Intercept and signal interface
tty.pl -- Terminal operations
prolog_debug.pl -- User level debugging tools
hashtable.pl -- Hash tables
zip_close
(+Zipper)
is
det
zip_close
(+Zipper, +Options)
is
det
Close a zipper.
Options
processed:
comment
(+Comment)
If the zipper is open for writing, set the global comment for the zip file.