List extension packs
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/trill/prolog
/home/mlunife/trill-on-swish
/home/mlunife/trill-on-swish/config-enabled
/home/mlunife/trill-on-swish/lib
/home/mlunife/trill-on-swish/lib/render
/home/mlunife/trill-on-swish/pack/profile/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/jpl
/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/xpce/prolog/lib/english
/usr/local/lib/swipl/xpce/prolog/lib/man
/usr/local/lib/swipl/xpce/prolog/lib/swi
/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 -- Access and analyse predicate options
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
option.pl -- Option list processing
thread_pool.pl
gensym.pl -- Generate unique symbols
settings.pl
arithmetic.pl -- Extensible arithmetic
main.pl
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 -- 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
prolog_config.pl -- Provide configuration information
git.pl -- Run GIT commands
rbtrees.pl -- Red black trees
dif.pl -- The dif/2 constraint
charsio.pl -- I/O on Lists of Character Codes
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
dialect.pl -- Support multiple Prolog dialects
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
prolog_code.pl -- Utilities for reasoning about code
nb_set.pl -- Non-backtrackable sets
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
date.pl -- Process dates and times
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
terms.pl -- Term manipulation
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
shell.pl -- Elementary shell commands
prolog_trace.pl -- Print access to predicates
listing.pl -- List programs and pretty print clauses
portray_text.pl -- Portray text
prolog_debug.pl -- User level debugging tools
strings.pl -- String utilities
help.pl -- Text based manual
tables.pl -- XSB interface to tables
make.pl -- Reload modified source files
ansi_term.pl -- Print decorated text to ANSI consoles
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
check.pl -- Consistency checking
threadutil.pl -- Interactive thread utilities
system.pl -- System utilities
quintus.pl -- Quintus compatibility
optparse.pl -- command line parsing
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
increval.pl -- Incremental dynamic predicate modification
files.pl
explain.pl -- Describe Prolog Terms
prolog_history.pl -- Per-directory persistent commandline history
ctypes.pl -- Character code classification
prolog_profile.pl -- Execution profiler
thread.pl -- High level thread primitives
fastrw.pl -- Fast reading and writing of terms
edit.pl -- Editor interface
oset.pl -- Ordered set manipulation
intercept.pl -- Intercept and signal interface
hashtable.pl -- Hash tables
prolog_wrap.pl -- Wrapping predicates
prolog_codewalk.pl -- Prolog code walker
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
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
writef.pl -- Old-style formatted write
prolog_metainference.pl -- Infer meta-predicate properties
prolog_versions.pl -- Demand specific (Prolog) versions
streams.pl -- Manage Prolog streams
rwlocks.pl -- Read/write locks
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.