- swipl-7.5.1
- library
- doc_http.pl -- Documentation server
- pldoc.pl -- Process source documentation
- lists.pl -- List Manipulation
- error.pl -- Error generating support
- pairs.pl -- Operations on key-value lists
- apply.pl -- Apply predicates on a list
- memfile.pl
- shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
- operators.pl -- Manage operators
- debug.pl -- Print debug messages and test assertions
- option.pl -- Option list processing
- prolog_source.pl -- Examine Prolog source-files
- socket.pl -- Network socket (TCP and UDP) library
- thread_pool.pl -- Resource bounded thread management
- rbtrees.pl -- Red black trees
- gensym.pl -- Generate unique symbols
- readutil.pl -- Read utilities
- url.pl -- Analysing and constructing URL
- utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
- uri.pl -- Process URIs
- settings.pl -- Setting management
- broadcast.pl -- Event service
- arithmetic.pl -- Extensible arithmetic
- sgml.pl -- SGML, XML and HTML parser
- iostream.pl -- Utilities to deal with streams
- dialect.pl -- Support multiple Prolog dialects
- quasi_quotations.pl -- Define Quasi Quotation syntax
- pure_input.pl -- Pure Input from files and streams
- time.pl -- Time and alarm library
- base64.pl -- Base64 encoding and decoding
- aggregate.pl -- Aggregation operators on backtrackable predicates
- ordsets.pl -- Ordered set manipulation
- oset.pl -- Ordered set manipulation
- www_browser.pl -- Open a URL in the users browser
- process.pl -- Create processes and redirect I/O
- prolog_colour.pl -- Prolog syntax colouring support.
- prolog_xref.pl -- Prolog cross-referencer data collection
- predicate_options.pl -- Access and analyse predicate options
- prolog_clause.pl -- Get detailed source-information about a clause
- occurs.pl -- Finding and counting sub-terms
- listing.pl -- List programs and pretty print clauses
- record.pl -- Access compound arguments by name
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- filesex.pl -- Extended operations on files
- xpath.pl -- Select nodes in an XML DOM
- prolog_pack.pl -- A package manager for Prolog
- archive.pl -- Access several archive formats
- rdf.pl
- rdf_parser.pl
- rewrite.pl
- quintus.pl -- Quintus compatibility
- rdf_triple.pl -- Create triples from intermediate representation
- sgml_write.pl -- XML/SGML writer module
- xsdp_types.pl -- XML-Schema primitive types
- thread.pl -- High level thread primitives
- git.pl -- Run GIT commands
- ctypes.pl -- Character code classification
- sha.pl -- SHA secure hashes
- crypt.pl
- persistency.pl -- Provide persistent dynamic predicates
- tty.pl -- Terminal operations
- terms.pl -- Term manipulation
- snowball.pl -- The Snowball multi-lingual stemmer library
- sandbox.pl -- Sandboxed Prolog code
- prolog_format.pl -- Analyse format specifications
- when.pl -- Conditional coroutining
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- double_metaphone.pl -- Phonetic string matching
- porter_stem.pl
- nb_set.pl -- Non-backtrackable sets
- solution_sequences.pl -- Modify solution sequences
- uuid.pl -- Universally Unique Identifier (UUID) Library
- system.pl -- System utilities
- edinburgh.pl -- Some traditional Edinburgh predicates
- helpidx.pl
- explain.pl -- Describe Prolog Terms
- edit.pl -- Editor interface
- make.pl -- Reload modified source files
- check.pl -- Consistency checking
- prolog_codewalk.pl -- Prolog code walker
- prolog_metainference.pl -- Infer meta-predicate properties
- prolog_breakpoints.pl -- Manage Prolog break-points
- threadutil.pl -- Interactive thread utilities
- statistics.pl -- Get information about resource usage
- help.pl
- backcomp.pl -- Backward compatibility
- rdf_write.pl -- Write RDF/XML from a list of triples
- date.pl -- Process dates and times
- zlib.pl -- Zlib wrapper for SWI-Prolog
- rdf_ntriples.pl -- RDF N-triples parser (obsolete)
- csv.pl -- Process CSV (Comma-Separated Values) data
- dif.pl -- The dif/2 constraint
- ssl.pl -- Secure Socket Layer (SSL) library
- crypto.pl -- Cryptography and authentication library
- ansi_term.pl -- Print decorated text to ANSI consoles
- prolog_stack.pl -- Examine the Prolog stack
- pengines.pl -- Pengines: Web Logic Programming Made Easy
- charsio.pl -- I/O on Lists of Character Codes
- modules.pl -- Module utility predicates
- term_to_json.pl
- editline.pl -- BSD libedit based command line editing
- console_input.pl
- prolog_history.pl -- Per-directory persistent commandline history
- base32.pl -- Base32 encoding and decoding
- table.pl
- xmlenc.pl -- XML encryption library
- bdb.pl -- Berkeley DB interface
- chr.pl
- sort.pl
- doc_files.pl -- Create stand-alone documentation files
- odbc.pl
- unicode.pl -- Unicode string handling
- writef.pl -- Old-style formatted write
- udp_broadcast.pl -- A UDP Broadcast Bridge
- plunit.pl -- Unit Testing
- readline.pl -- GNU readline interface
- cgi.pl -- Read CGI parameters
- uid.pl -- User and group management on Unix systems
- protobufs.pl -- Google's Protocol Buffers
- yall.pl -- Lambda expressions
- optparse.pl -- command line parsing
- tabling.pl -- Tabled execution (SLG WAM)
- random.pl -- Random numbers
- streampool.pl
- pengines_io.pl -- Provide Prolog I/O for HTML clients
- prolog_stream.pl -- A stream with Prolog callbacks
- unix.pl -- Unix specific operations
- dicts.pl -- Dict utilities
- xmldsig.pl -- XML Digital signature
- c14n2.pl -- C14n2 canonical XML documents
- pdt_console.pl
- isub.pl -- isub: a string similarity measure
- shell.pl -- Elementary shell commands
- doc_latex.pl -- PlDoc LaTeX backend
- qsave.pl -- Save current program as a state or executable
- prolog_autoload.pl -- Autoload all dependencies
- pwp.pl -- Prolog Well-formed Pages
- md5.pl -- MD5 hashes
- files.pl
- syslog.pl -- Unix syslog interface
- test_cover.pl -- Clause cover analysis
- main.pl -- Provide entry point for scripts
- varnumbers.pl -- Utilities for numbered terms
- win_menu.pl -- Console window menu
- hash_stream.pl -- Maintain a hash on a stream
- rlimit.pl
- library
- bdb_init(+Options) is det
- bdb_init(-Environment, +Options) is det
- Initialise a DB environment. The predicate bdb_init/1
initialises the default environment, while bdb_init/2 creates
an explicit environment that can be passed to bdb_open/4 using
the
environment(+Environment)
option. If bdb_init/1 is called, it must be called before the first call to bdb_open/4 that uses the default environment. If bdb_init/1 is not called, the default environment can only handle plain files and does not support multiple threads, locking, crash recovery, etc.Initializing a BDB environment always requires the
home(+Dir)
option. If the environment contains no databases, the argumentcreate(true)
must be supplied as well.The currently supported options are listed below. The name of the boolean options are derived from the DB flags by dropping the =DB_= prefix and using lowercase, e.g.
DB_INIT_LOCK
becomesinit_lock
. For details, please refer to the DB manual.- create(+Bool)
- If
true
, create any underlying file as required. By default, no new files are created. This option should be set for prograns that create new databases. - failchk(+Bool)
- home(+Home)
- Specify the DB home directory, the directory holding the database files. The directory must exist prior to calling these predicates.
- init_lock(+Bool)
- Enable locking (
DB_INIT_LOCK
). Implied if transactions are used. - init_log(+Bool)
- Enable logging the DB modifications (
DB_INIT_LOG
). Logging enables recovery of databases in case of system failure. Normally it is used in combination with transactions. - init_mpool(+Bool)
- Initialize memory pool. Impicit if
mp_size(+Size)
ormp_mmapsize(+Size)
is specified. - init_rep(+Bool)
- Init database replication. The rest of the replication logic is not yet supported.
- init_txn(+Bool)
- Init transactions. Implies
init_log(true)
. - lockdown(+Bool)
- mp_size(+Integer)
- mp_mmapsize(+Integer)
- Control memory pool handling (
DB_INIT_MPOOL
). Themp_size
option sets the memory-pool used for caching, while themp_mmapsize
controls the maximum size of a DB file mapped entirely into memory. - private(+Bool)
- recover(+Bool)
- Perform recovery before opening the database.
- recover_fatal(+Bool)
- Perform fatal recovery before opening the database.
- register(+Bool)
- server(+Host,[+ServerOptions])
- Initialise the DB package for accessing a remote
database. Host specifies the name of the machine running
berkeley_db_svc
. Optionally additional options may be specified:- server_timeout(+Seconds)
- Specify the timeout time the server uses to determine that the client has gone. This implies the server will terminate the connection to this client if this client does not issue any requests for the indicated time.
- client_timeout(+Seconds)
- Specify the time the client waits for the server to handle a request.
- system_mem(+Bool)
- transactions(+Bool)
- Enable transactions, providing atomicy of changes and security. Implies logging and locking. See bdb_transaction/1.
- thread(+Bool)
- Make the environment accessible from multiple threads.
- thread_count(+Integer)
- Declare an approximate number of threads in the database
environment. See
DB_ENV->set_thread_count()
. - use_environ(+Bool)
- use_environ_root(+Bool)
- config(+ListOfConfig)
- Specify a list of configuration options, each option is of the form Name(Value). Currently unused.