- 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
- random.pl -- Random numbers
- optparse.pl -- command line parsing
- bdb.pl -- Berkeley DB interface
- tabling.pl -- Tabled execution (SLG WAM)
- shell.pl -- Elementary shell commands
- prolog_stream.pl -- A stream with Prolog callbacks
- sort.pl
- doc_latex.pl -- PlDoc LaTeX backend
- table.pl
- chr.pl
- doc_files.pl -- Create stand-alone documentation files
- varnumbers.pl -- Utilities for numbered terms
- odbc.pl
- plunit.pl -- Unit Testing
- yall.pl -- Lambda expressions
- uid.pl -- User and group management on Unix systems
- udp_broadcast.pl -- A UDP Broadcast Bridge
- md5.pl -- MD5 hashes
- pengines_io.pl -- Provide Prolog I/O for HTML clients
- writef.pl -- Old-style formatted write
- qsave.pl -- Save current program as a state or executable
- prolog_autoload.pl -- Autoload all dependencies
- xmlenc.pl -- XML encryption library
- streampool.pl
- syslog.pl -- Unix syslog interface
- pwp.pl -- Prolog Well-formed Pages
- readline.pl -- GNU readline interface
- c14n2.pl -- C14n2 canonical XML documents
- dicts.pl -- Dict utilities
- unicode.pl -- Unicode string handling
- isub.pl -- isub: a string similarity measure
- xmldsig.pl -- XML Digital signature
- main.pl -- Provide entry point for scripts
- unix.pl -- Unix specific operations
- cgi.pl -- Read CGI parameters
- protobufs.pl -- Google's Protocol Buffers
- test_cover.pl -- Clause cover analysis
- pdt_console.pl
- files.pl
- hash_stream.pl -- Maintain a hash on a stream
- rlimit.pl
- win_menu.pl -- Console window menu
- library
- opt_arguments(+OptsSpec, -Opts, -PositionalArgs) is det
- Extract commandline options according to a specification.
Convenience predicate, assuming that command-line arguments can be
accessed by current_prolog_flag/2 (as in swi-prolog). For other
access mechanisms and/or more control, get the args and pass them
as a list of atoms to opt_parse/4 or opt_parse/5 instead.
Opts is a list of parsed options in the form Key(Value). Dashed args not in OptsSpec are not permitted and will raise error (see tip on how to pass unknown flags in the module description). PositionalArgs are the remaining non-dashed args after each flag has taken its argument (filling in
true
orfalse
for booleans). There are no restrictions on non-dashed arguments and they may go anywhere (although it is good practice to put them last). Any leading arguments for the runtime (up to and including '--') are discarded.