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://0d37d7ff-972e-4890-8913-a8820929eaa4
pengine://1221672f-4da0-41de-b656-76bc47ca2d39
pengine://13711183-8323-45ef-829a-555e790fe037
pengine://1894d645-5bef-42b1-995e-0882c574a0c7
pengine://190dbd22-146f-4b8d-91a0-2e23a1431453
pengine://1b2b5a80-4039-4ffc-8941-2bec14a8095b
pengine://1bbe71c2-ad32-4ca2-a9a5-c6dece70eb0b
pengine://230b175d-fa4a-4767-9722-def64646890d
pengine://309b3f05-e635-441d-93bd-492493b56f03
pengine://34df0f9c-8dfb-4a8f-9766-bfd2fdadde1e
pengine://39807f16-25f3-4721-9962-db445feb383f
pengine://3ca8a4ef-740e-469a-965b-ac41143d70e4
pengine://41fe0282-5f25-4fea-b403-cbed27fa0bb8
pengine://4362c4a7-50a6-4628-8506-8fb2e18b9d67
pengine://49dbf96a-1a17-4d1a-bd7f-d2fdd13f899a
pengine://503eaff6-310a-4c06-81b0-d0949d53ed73
pengine://515264ff-95fb-49bf-b51f-8a70c60c6308
pengine://5bbbc309-1d96-459b-b33f-12d9be6543c9
pengine://5c2a8398-3f98-400c-8a15-ca18b7d76654
pengine://5e61ac6d-7904-4108-9939-1c234353b86e
pengine://5f769d9c-1718-4f2d-b18b-b7e36e0021e0
pengine://654b2a6a-5e36-490b-91a0-adbb46de3ca2
pengine://77653272-6aca-46ec-a610-6b5ecab94464
pengine://7c85efd0-c52e-4a46-ba7f-46b5190dec36
pengine://7cb7ec7a-1049-4fa7-8b85-ac14cd2d9d01
pengine://7d6f38db-3c04-4b16-a76c-734dcccac0ea
pengine://7df71cee-5c58-453b-8eef-f2136959d290
pengine://7f8721a0-85a8-4123-beef-e89af2f88ff3
pengine://87bf2043-3ef3-4cdc-aec1-737e1c4f92bb
pengine://90046c51-66ad-4ad6-b124-1f6042d5418b
pengine://929140e8-0971-4299-8042-0ad463d02680
pengine://9576f8e8-f7c0-4cc8-8cbf-d29badffcba4
pengine://95b6051f-ddf3-4a82-b113-9a7edf3b11dc
pengine://9dfe4ac9-e7d4-477b-9e2c-7531e5059d7f
pengine://9ea41574-8223-429d-8d17-b86d655cdb05
pengine://9ec33178-73cb-49e2-ac5c-34f1de2ef524
pengine://9f50b1e1-7631-4776-9bbf-f3ab01f998a6
pengine://a1a981b4-c327-409c-8c67-c0ec7b75385e
pengine://a50c5393-584c-4a67-bc7d-096e4d6b0747
pengine://b0da27dd-6ecb-46b2-9539-5ff2e9896112
pengine://b7d4c118-7ac4-4def-b520-dfa1071a0864
pengine://be8de702-9e09-43a0-9602-ee9698ee2ef0
pengine://c0bd6151-173d-498b-8c41-d54f33863555
pengine://c2cfee71-64cf-474c-9bd7-35f57932246d
pengine://c34861ca-ab88-43ea-ad42-ae968a99ecc9
pengine://c4730c4e-232e-4714-92ce-03d230a44ec2
pengine://e1cf43f2-fbed-464c-9f82-1d6dacc56575
pengine://e6e7672d-3472-4ac7-839e-b6f19efaa1fb
pengine://f6d9ee42-3211-43d6-98d7-017276ade3dc
pengine://fbb6ed28-994c-4360-852b-5df9a0a84d54
pengine://fbe55d8b-8b23-45be-869b-3f3c1cf4abe5
pengine://fe6b12f2-266a-46b4-937c-d2db1c2fd0d4
/usr/local/lib/swipl/library/iostream.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
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 -- 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
base64.pl
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
predicate_options.pl
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
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
system.pl -- System utilities
terms.pl -- Term manipulation
date.pl
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
open_any/5
close_any/1
open_hook/6
prolog_stack.pl -- Examine the Prolog stack
edinburgh.pl -- Some traditional Edinburgh predicates
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
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 -- heaps/priority queues
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
prolog_jiti.pl
ansi_term.pl -- Print decorated text to ANSI consoles
listing.pl -- List programs and pretty print clauses
threadutil.pl -- Interactive thread utilities
optparse.pl -- command line parsing
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
intercept.pl -- Intercept and signal interface
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
quintus.pl -- Quintus compatibility
macros.pl -- Macro expansion
hashtable.pl -- Hash tables
edit.pl -- Editor interface
portray_text.pl -- Portray text
check.pl -- Consistency checking
prolog_autoload.pl -- Autoload all dependencies
help.pl
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_trace.pl
prolog_wrap.pl -- Wrapping predicates
strings.pl -- String utilities
ctypes.pl -- Character code classification
prolog_codewalk.pl -- Prolog code walker
make.pl -- Reload modified source files
prolog_debug.pl -- User level debugging tools
shell.pl -- Elementary shell commands
nb_set.pl -- Non-backtrackable sets
thread.pl -- High level thread primitives
prolog_profile.pl
prolog_coverage.pl -- Coverage analysis tool
explain.pl
prolog_metainference.pl -- Infer meta-predicate properties
writef.pl
streams.pl
tty.pl -- Terminal operations
oset.pl
rwlocks.pl
prolog_config.pl
fastrw.pl
exceptions.pl
files.pl
prolog_history.pl
readln.pl
close_any
(+Goal)
Execute the
Close
closure returned by
open_any/5
. The closure can also be called directly. Using
close_any/1
can be considered better style and enhances tractability of the source code.