- swi-prolog
- library
- error.pl -- Error generating support
- apply.pl -- Apply predicates on a list
- lists.pl -- List Manipulation
- pairs.pl -- Operations on key-value lists
- debug.pl -- Print debug messages and test assertions
- broadcast.pl -- Event service
- socket.pl -- Network socket (TCP and UDP) library
- 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 -- 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
- memfile.pl
- settings.pl -- Setting management
- 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
- main.pl -- Provide entry point for scripts
- ssl.pl -- Secure Socket Layer (SSL) library
- crypto.pl -- Cryptography and authentication library
- filesex.pl -- Extended operations on files
- doc_http.pl -- Documentation server
- pldoc.pl -- Process source documentation
- operators.pl -- Manage operators
- prolog_source.pl -- Examine Prolog source-files
- 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
- 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
- c14n2.pl -- C14n2 canonical XML documents
- dicts.pl -- Dict utilities
- solution_sequences.pl -- Modify solution sequences
- uuid.pl -- Universally Unique Identifier (UUID) Library
- pcre.pl -- Perl compatible regular expression matching for SWI-Prolog
- backcomp.pl -- Backward compatibility
- system.pl -- System utilities
- 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
- ansi_term.pl -- Print decorated text to ANSI consoles
- isub.pl -- isub: a string similarity measure
- sort.pl
- random.pl -- Random numbers
- 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
- prolog_stack.pl -- Examine the Prolog stack
- statistics.pl -- Get information about resource usage
- md5.pl -- MD5 hashes
- pprint.pl -- Pretty Print Prolog terms
- lazy_lists.pl -- Lazy list handling
- helpidx.pl
- pengines_io.pl -- Provide Prolog I/O for HTML clients
- yall.pl -- Lambda expressions
- prolog_stream.pl -- A stream with Prolog callbacks
- edinburgh.pl -- Some traditional Edinburgh predicates
- prolog_breakpoints.pl -- Manage Prolog break-points
- nb_rbtrees.pl -- Non-backtrackable operations on red black trees
- check.pl -- Consistency checking
- prolog_codewalk.pl -- Prolog code walker
- prolog_metainference.pl -- Infer meta-predicate properties
- prolog_history.pl -- Per-directory persistent commandline history
- base32.pl -- Base32 encoding and decoding
- qsave.pl -- Save current program as a state or executable
- prolog_autoload.pl -- Autoload all dependencies
- threadutil.pl -- Interactive thread utilities
- explain.pl -- Describe Prolog Terms
- edit.pl -- Editor interface
- make.pl -- Reload modified source files
- help.pl
- heaps.pl -- heaps/priority queues
- optparse.pl -- command line parsing
- codesio.pl -- I/O on Lists of Character Codes
- coinduction.pl -- Co-Logic Programming
- varnumbers.pl -- Utilities for numbered terms
- files.pl
- table.pl
- chr.pl
- writef.pl -- Old-style formatted write
- unicode.pl -- Unicode string handling
- editline.pl -- BSD libedit based command line editing
- console_input.pl
- streampool.pl
- hash_stream.pl -- Maintain a hash on a stream
- doc_files.pl -- Create stand-alone documentation files
- xmldsig.pl -- XML Digital signature
- xmlenc.pl -- XML encryption library
- tabling.pl -- Tabled execution (SLG WAM)
- rlimit.pl
- readline.pl -- GNU readline interface
- udp_broadcast.pl -- A UDP Broadcast Bridge
- cgi.pl -- Read CGI parameters
- win_menu.pl -- Console window menu
- shell.pl -- Elementary shell commands
- library
- tcp_setopt(+SocketId, +Option) is det
- Set options on the socket. Defined options are:
- reuseaddr
- Allow servers to reuse a port without the system being completely sure the port is no longer in use.
- bindtodevice(+Device)
- Bind the socket to Device (an atom). For example, the code
below binds the socket to the loopback device that is
typically used to realise the localhost. See the manual
pages for
setsockopt()
and the socket interface (e.g.,socket(7)
on Linux) for details.tcp_socket(Socket), tcp_setopt(Socket, bindtodevice(lo))
- nodelay
- nodelay(true)
- If
true
, disable the Nagle optimization on this socket, which is enabled by default on almost all modern TCP/IP stacks. The Nagle optimization joins small packages, which is generally desirable, but sometimes not. Please note that the underlying TCP_NODELAY setting tosetsockopt()
is not available on all platforms and systems may require additional privileges to change this option. If the option is not supported, tcp_setopt/2 raises a domain_error exception. See Wikipedia for details. - broadcast
- UDP sockets only: broadcast the package to all addresses matching the address. The address is normally the address of the local subnet (i.e. 192.168.1.255). See udp_send/4.
- dispatch(+Boolean)
- In GUI environments (using XPCE or the Windows
swipl-win.exe
executable) this flags defines whether or not any events are dispatched on behalf of the user interface. Default istrue
. Only very specific situations require setting this tofalse
.