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/readline
/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
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
/usr/local/lib/swipl/library/persistency.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
predicate_options.pl
shlib.pl
option.pl -- Option list processing
thread_pool.pl
gensym.pl
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 -- 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.
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
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
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
heaps.pl -- heaps/priority queues
quintus.pl -- Quintus compatibility
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
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
check.pl -- Consistency checking
ansi_term.pl -- Print decorated text to ANSI consoles
nb_set.pl -- Non-backtrackable sets
shell.pl -- Elementary shell commands
portray_text.pl -- Portray text
prolog_versions.pl -- Demand specific (Prolog) versions
listing.pl -- List programs and pretty print clauses
make.pl -- Reload modified source files
prolog_coverage.pl -- Coverage analysis tool
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
fastrw.pl -- Fast reading and writing of terms
prolog_codewalk.pl -- Prolog code walker
prolog_metainference.pl -- Infer meta-predicate properties
prolog_debug.pl -- User level debugging tools
threadutil.pl -- Interactive thread utilities
oset.pl -- Ordered set manipulation
strings.pl -- String utilities
explain.pl -- Describe Prolog Terms
streams.pl -- Manage Prolog streams
optparse.pl -- command line parsing
prolog_history.pl -- Per-directory persistent commandline history
prolog_config.pl -- Provide configuration information
prolog_autoload.pl -- Autoload all dependencies
intercept.pl -- Intercept and signal interface
ctypes.pl -- Character code classification
files.pl
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
writef.pl -- Old-style formatted write
help.pl -- Text based manual
readln.pl -- Read line as list of tokens
prolog_profile.pl -- Execution profiler
prolog_wrap.pl -- Wrapping predicates
exceptions.pl -- Exception classification
thread.pl -- High level thread primitives
tty.pl -- Terminal operations
prolog_trace.pl -- Print access to predicates
win_menu.pl -- Console window menu
edit.pl -- Editor interface
rwlocks.pl -- Read/write locks
hashtable.pl -- Hash tables
macros.pl -- Macro expansion
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.