List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/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://30edae17-7ac4-4132-90f4-a12538a18f8a
pengine://e87153d7-f83b-4cfa-8553-5dfae9d35218
/usr/lib/swipl/library/persistency.pl
All
Application
Manual
Name
Summary
Help
swipl
library
settings.pl -- Setting management
error.pl -- Error generating support
broadcast.pl -- Event service
debug.pl -- Print debug messages and test assertions
lists.pl -- List Manipulation
pairs.pl -- Operations on key-value lists
option.pl -- Option list processing
arithmetic.pl -- Extensible arithmetic
pldoc.pl -- Process source documentation
apply.pl -- Apply predicates on a list
operators.pl -- Manage operators
prolog_source.pl -- Examine Prolog source-files
pengines.pl -- Pengines: Web Logic Programming Made Easy
time.pl -- Time and alarm library
shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
zip.pl -- Access resource ZIP archives
uri.pl -- Process URIs
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.
memfile.pl
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
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
ordsets.pl -- Ordered set manipulation
oset.pl -- Ordered set manipulation
record.pl -- Access compound arguments by name
filesex.pl -- Extended operations on files
charsio.pl -- I/O on Lists of Character Codes
sandbox.pl -- Sandboxed Prolog code
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
when.pl -- Conditional coroutining
modules.pl -- Module utility predicates
term_to_json.pl
uuid.pl -- Universally Unique Identifier (UUID) Library
ssl.pl -- Secure Socket Layer (SSL) library
crypto.pl -- Cryptography and authentication library
solution_sequences.pl -- Modify solution sequences
nb_set.pl -- Non-backtrackable sets
terms.pl -- Term manipulation
apply_macros.pl -- Goal expansion rules to avoid meta-calling
sha.pl -- SHA secure hashes
random.pl -- Random numbers
pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
pengines_io.pl -- Provide Prolog I/O for HTML clients
listing.pl -- List programs and pretty print clauses
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_clause.pl -- Get detailed source-information about a clause
occurs.pl -- Finding and counting sub-terms
yall.pl -- Lambda expressions
prolog_stream.pl -- A stream with Prolog callbacks
process.pl -- Create processes and redirect I/O
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
prolog_xref.pl -- Prolog cross-referencer data collection
prolog_colour.pl -- Prolog syntax colouring support.
predicate_options.pl -- Access and analyse predicate options
lazy_lists.pl -- Lazy list handling
ugraphs.pl -- Graph manipulation library
xpath.pl -- Select nodes in an XML DOM
doc_http.pl -- Documentation server
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
crypt.pl
persistency.pl -- Provide persistent dynamic predicates
persistent/1
current_persistent_predicate/1
db_attach/2
db_attached/1
db_detach/0
db_sync/1
db_sync_all/1
edinburgh.pl -- Some traditional Edinburgh predicates
prolog_breakpoints.pl -- Manage Prolog break-points
unix.pl -- Unix specific operations
mallocinfo.pl -- Memory allocation details
chr.pl
dicts.pl -- Dict utilities
dif.pl -- The dif/2 constraint
varnumbers.pl -- Utilities for numbered terms
shell.pl -- Elementary shell commands
uid.pl -- User and group management on Unix systems
syslog.pl -- Unix syslog interface
main.pl -- Provide entry point for scripts
backcomp.pl -- Backward compatibility
system.pl -- System utilities
paxos.pl -- A Replicated Data Store
test_cover.pl -- Clause cover analysis
thread.pl -- High level thread primitives
prolog_metainference.pl -- Infer meta-predicate properties
writef.pl -- Old-style formatted write
archive.pl -- Access several archive formats
streampool.pl -- Input multiplexing
qsave.pl -- Save current program as a state or executable
prolog_autoload.pl -- Autoload all dependencies
prolog_codewalk.pl -- Prolog code walker
check.pl -- Consistency checking
threadutil.pl -- Interactive thread utilities
rdf.pl
rdf_parser.pl
rewrite.pl
quintus.pl -- Quintus compatibility
rdf_triple.pl -- Create triples from intermediate representation
codesio.pl -- I/O on Lists of Character Codes
plunit.pl -- Unit Testing
prolog_stack.pl -- Examine the Prolog stack
double_metaphone.pl -- Phonetic string matching
doc_latex.pl -- PlDoc LaTeX backend
statistics.pl -- Get information about resource usage
sort.pl
table.pl
rlimit.pl
explain.pl -- Describe Prolog Terms
console_input.pl
editline.pl -- BSD libedit based command line editing
date.pl -- Process dates and times
odbc.pl
base32.pl -- Base32 encoding and decoding
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
xmlenc.pl -- XML encryption library
isub.pl -- isub: a string similarity measure
xsdp_types.pl -- XML-Schema primitive types
unicode.pl -- Unicode string handling
optparse.pl -- command line parsing
snowball.pl -- The Snowball multi-lingual stemmer library
help.pl -- Text based manual
cgi.pl -- Read CGI parameters
pwp.pl -- Prolog Well-formed Pages
sgml_write.pl -- XML/SGML writer module
readline.pl -- GNU readline interface
rdf_write.pl -- Write RDF/XML from a list of triples
c14n2.pl -- C14n2 canonical XML documents
xmldsig.pl -- XML Digital signature
make.pl -- Reload modified source files
protobufs.pl -- Google's Protocol Buffers
files.pl
edit.pl -- Editor interface
prolog_history.pl -- Per-directory persistent commandline history
prolog_config.pl -- Provide configuration information
doc_files.pl -- Create stand-alone documentation files
udp_broadcast.pl -- A UDP broadcast proxy
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.