List extension packs
/app
/app/spacy
/app/swish
/app/tokenize/prolog
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/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
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
pengine://007be8dd-fbc8-41da-a2fb-215333503060
pengine://02c03822-bf85-45c9-ae5a-4db2d32df2b0
pengine://076a580f-f025-497c-ab7c-177ce545669c
pengine://09a26dee-bea3-42b3-b8a9-b3c115dbb523
pengine://10859db8-a77e-4d4e-9359-d578591fe248
pengine://12096d55-c28d-45b8-af51-0cf17a446e5a
pengine://13423f10-f6fc-46f4-aa61-22d7f89d5fbb
pengine://16387808-f65e-43cc-a9a2-43b52e64c356
pengine://182e0ada-dc78-4e97-bcf6-de54c888c308
pengine://18b20fd6-d5d6-4153-9625-be3f58eb23ea
pengine://3231fa26-232a-46c2-83cf-4ae81d89e7e6
pengine://4290c413-faed-4b5c-9cae-f0db66b42ac3
pengine://4331e4c8-b275-4a92-bc41-c92da344a088
pengine://49b61e49-004c-4bac-b6b8-b6747ddeabb9
pengine://50e781be-097d-4547-8aa6-885fa6cff9fd
pengine://522a37ae-77b8-43a6-87dc-a9694bd552ea
pengine://583bb745-ab51-4e71-a334-b5b0851ce353
pengine://5f55aac7-f6d3-4852-8952-eb58c5e0c10f
pengine://6bcf59b1-eb78-4c92-bf2d-7377ab4eb197
pengine://7173366a-983c-4fe3-b206-e00a66f6372c
pengine://76490f2c-4af0-4165-aec6-616e293f29d0
pengine://973b3012-4c0f-4a9c-a434-711e48b5bacc
pengine://9798dd14-5440-4a7b-b583-a77dc2c48fc0
pengine://9aed44a8-8c71-47c3-a884-b4ce7c63b513
pengine://9d6be69b-5c5b-4b58-b32a-bb5caf1a5a2c
pengine://9fe3191c-6052-4edf-a5df-4bbbe477e971
pengine://a5ac1503-906a-4c8c-ba22-d8120e77d055
pengine://ad847df8-6dc2-4a2d-bfa6-7186c5434251
pengine://b761cdff-9057-45d9-8da4-6b4f8731cf20
pengine://ba61a229-b78d-446c-bb22-e444bff0dc40
pengine://c75b635b-367d-4161-bf01-b12319a2689a
pengine://cf823ae0-5bb8-489c-803f-f42e41425385
pengine://cf999125-0316-4e50-90a3-2438f59d44d3
pengine://d0db1ca0-599f-4c97-8e03-3f9fd34d30a1
pengine://d56080e5-9971-4642-be85-eda50f73fe89
pengine://e444fa90-419e-4fda-ac77-b59b92be5947
pengine://e4db210c-9bd6-42e9-b166-355fb96bbc45
pengine://f31af53e-96f9-44cf-a986-737c879edba5
/usr/lib/swipl/library/persistency.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
debug.pl -- Print debug messages and test assertions
broadcast.pl -- Event service
socket.pl -- Network socket (TCP and UDP) library
predicate_options.pl -- Access and analyse predicate options
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
uid.pl -- User and group management on Unix systems
unix.pl -- Unix specific operations
syslog.pl -- Unix syslog interface
thread_pool.pl
gensym.pl -- Generate unique symbols
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl
readutil.pl -- Read utilities
ssl.pl -- Secure Socket Layer (SSL) library
crypto.pl -- Cryptography and authentication library
pldoc.pl -- Process source documentation
operators.pl -- Manage operators
pairs.pl -- Operations on key-value lists
prolog_source.pl -- Examine Prolog source-files
pengines.pl -- Pengines: Web Logic Programming Made Easy
record.pl -- Access compound arguments by name
memfile.pl
sgml.pl -- SGML, XML and HTML parser
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl -- Pure Input from files and streams
time.pl -- Time and alarm library
uri.pl -- Process URIs
solution_sequences.pl -- Modify solution sequences
uuid.pl -- Universally Unique Identifier (UUID) Library
ordsets.pl -- Ordered set manipulation
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
pengines_io.pl -- Provide Prolog I/O for HTML clients
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
yall.pl -- Lambda expressions
sha.pl -- SHA secure hashes
process.pl -- Create processes and redirect I/O
filesex.pl -- Extended operations on files
zlib.pl -- Zlib wrapper for SWI-Prolog
bdb.pl -- Berkeley DB interface
hash_stream.pl -- Maintain a hash on a stream
md5.pl -- MD5 hashes
porter_stem.pl
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl -- Pretty Print Prolog terms
atom.pl -- Operations on atoms
ctypes.pl -- Character code classification
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
prolog_code.pl -- Utilities for reasoning about code
ugraphs.pl -- Graph manipulation library
xpath.pl -- Select nodes in an XML DOM
iostream.pl -- Utilities to deal with streams
doc_http.pl -- Documentation server
url.pl -- Analysing and constructing URL
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
prolog_config.pl -- Provide configuration information
git.pl -- Run GIT commands
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
dialect.pl -- Support multiple Prolog dialects
edinburgh.pl -- Some traditional Edinburgh predicates
ansi_term.pl -- Print decorated text to ANSI consoles
terms.pl -- Term manipulation
listing.pl -- List programs and pretty print clauses
persistency.pl -- Provide persistent dynamic predicates
persistent/1
current_persistent_predicate/1
db_attach/2
db_attached/1
db_assert/1
db_detach/0
db_retractall/1
db_retract/1
db_sync/1
db_sync_all/1
pengines_sandbox.pl -- Declare Pengine interaction sandbox-safe
term_to_json.pl
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
mallocinfo.pl -- Memory allocation details
chr.pl
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
nb_set.pl -- Non-backtrackable sets
rbtrees.pl -- Red black trees
prolog_stream.pl -- A stream with Prolog callbacks
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
base32.pl -- Base32 encoding and decoding
date.pl -- Process dates and times
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
tables.pl -- XSB interface to tables
thread.pl -- High level thread primitives
protobufs.pl -- Google's Protocol Buffers ("protobufs")
mqi.pl
optparse.pl -- command line parsing
udp_broadcast.pl -- A UDP broadcast proxy
make.pl -- Reload modified source files
sgml_write.pl -- XML/SGML writer module
macros.pl -- Macro expansion
check.pl -- Consistency checking
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
redis_streams.pl -- Using Redis streams
redis.pl -- Redis client
isub.pl -- isub: a string similarity measure
stomp.pl -- STOMP client.
doc_latex.pl -- PlDoc LaTeX backend
system.pl -- System utilities
odbc.pl
oset.pl -- Ordered set manipulation
plunit.pl -- Unit Testing
prolog_versions.pl -- Demand specific Prolog versions
doc_files.pl -- Create stand-alone documentation files
editline.pl -- BSD libedit based command line editing
prolog_debug.pl -- User level debugging tools
unicode.pl -- Unicode string handling
prolog_codewalk.pl -- Prolog code walker
threadutil.pl -- Interactive thread utilities
edit.pl -- Editor interface
explain.pl -- Describe Prolog Terms
writef.pl -- Old-style formatted write
quintus.pl -- Quintus compatibility
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
rdf_write.pl -- Write RDF/XML from a list of triples
pwp.pl -- Prolog Well-formed Pages
crypt.pl
streams.pl -- Manage Prolog streams
help.pl -- Text based manual
paxos.pl -- A Replicated Data Store
xmldsig.pl -- XML Digital signature
archive.pl -- Access several archive formats
rdf.pl -- RDF/XML parser
readline.pl -- GNU readline interface
prolog_trace.pl -- Print access to predicates
prolog_wrap.pl -- Wrapping predicates
shell.pl -- Elementary shell commands
hashtable.pl -- Hash tables
table.pl
increval.pl -- Incremental dynamic predicate modification
intercept.pl -- Intercept and signal interface
c14n2.pl -- C14n2 canonical XML documents
prolog_profile.pl -- Execution profiler
streampool.pl -- Input multiplexing
snowball.pl -- The Snowball multi-lingual stemmer library
portray_text.pl -- Portray text
prolog_autoload.pl -- Autoload all dependencies
rewrite_term.pl
xsdp_types.pl -- XML-Schema primitive types
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
prolog_history.pl -- Per-directory persistent commandline history
double_metaphone.pl -- Phonetic string matching
test_cover.pl -- Clause coverage analysis
rdf_triple.pl -- Create triples from intermediate representation
rdf_parser.pl
tty.pl -- Terminal operations
cgi.pl -- Read CGI parameters
fastrw.pl -- Fast reading and writing of terms
yaml.pl -- Process YAML data
rwlocks.pl -- Read/write locks
xmlenc.pl -- XML encryption library
files.pl
rlimit.pl
prolog_metainference.pl -- Infer meta-predicate properties
readln.pl -- Read line as list of tokens
db_attach
(:File, +Options)
Use
File
as persistent database for the calling module. The calling module must defined
persistent/1
to declare the database terms. Defined options:
sync
(+Sync)
One of
close
(close journal after write),
flush
(default, flush journal after write) or
none
(handle as fully buffered stream).
If
File
is already attached this operation may change the
sync
behaviour.