- swipl
- library
- error.pl
- debug.pl -- Print debug messages and test assertions
- apply.pl
- 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 -- Setting management
- arithmetic.pl -- Extensible arithmetic
- main.pl -- Provide entry point for scripts
- readutil.pl
- operators.pl -- Manage operators
- pairs.pl -- Operations on key-value lists
- prolog_source.pl -- Examine Prolog source-files
- quasi_quotations.pl -- Define Quasi Quotation syntax
- url.pl -- Analysing and constructing URL
- www_browser.pl -- Open a URL in the users browser
- prolog_colour.pl -- Prolog syntax colouring support.
- record.pl -- Access compound arguments by name
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl -- Finding and counting sub-terms
- ordsets.pl -- Ordered set manipulation
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- iostream.pl -- Utilities to deal with streams
- atom.pl -- Operations on atoms
- prolog_pack.pl -- A package manager for Prolog
- solution_sequences.pl -- Modify solution sequences
- git.pl -- Run GIT commands
- ctypes.pl -- Character code classification
- utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
- base64.pl -- Base64 encoding and decoding
- persistency.pl -- Provide persistent dynamic predicates
- pure_input.pl -- Pure Input from files and streams
- nb_set.pl -- Non-backtrackable sets
- aggregate.pl -- Aggregation operators on backtrackable predicates
- csv.pl -- Process CSV (Comma-Separated Values) data
- dialect.pl -- Support multiple Prolog dialects
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- yall.pl -- Lambda expressions
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- rbtrees.pl -- Red black trees
- nb_rbtrees.pl -- Non-backtrackable operations on red black trees
- random.pl -- Random numbers
- sandbox.pl -- Sandboxed Prolog code
- prolog_format.pl -- Analyse format specifications
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl -- Lazy list handling
- edinburgh.pl -- Some traditional Edinburgh predicates
- prolog_clause.pl -- Get detailed source-information about a clause
- prolog_breakpoints.pl -- Manage Prolog break-points
- dicts.pl -- Dict utilities
- quintus.pl -- Quintus compatibility
- tables.pl -- XSB interface to tables
- prolog_codewalk.pl -- Prolog code walker
- prolog_metainference.pl -- Infer meta-predicate properties
- heaps.pl -- heaps/priority queues
- listing.pl -- List programs and pretty print clauses
- explain.pl -- Describe Prolog Terms
- date.pl -- Process dates and times
- prolog_coverage.pl -- Coverage analysis tool
- backcomp.pl -- Backward compatibility
- codesio.pl -- I/O on Lists of Character Codes
- prolog_profile.pl -- Execution profiler
- prolog_debug.pl -- User level debugging tools
- threadutil.pl -- Interactive thread utilities
- qsave.pl -- Save current program as a state or executable
- zip.pl -- Access resource ZIP archives
- fastrw.pl -- Fast reading and writing of terms
- charsio.pl -- I/O on Lists of Character Codes
- system.pl -- System utilities
- check.pl -- Consistency checking
- exceptions.pl -- Exception classification
- help.pl -- Text based manual
- prolog_versions.pl -- Demand specific (Prolog) versions
- intercept.pl -- Intercept and signal interface
- base32.pl -- Base32 encoding and decoding
- coinduction.pl -- Co-Logic Programming
- sort.pl
- statistics.pl -- Get information about resource usage
- terms.pl -- Term manipulation
- varnumbers.pl -- Utilities for numbered terms
- when.pl -- Conditional coroutining
- prolog_config.pl -- Provide configuration information
- prolog_stack.pl -- Examine the Prolog stack
- oset.pl -- Ordered set manipulation
- files.pl
- edit.pl -- Editor interface
- tty.pl -- Terminal operations
- increval.pl -- Incremental dynamic predicate modification
- prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
- optparse.pl -- command line parsing
- win_menu.pl -- Console window menu
- ansi_term.pl -- Print decorated text to ANSI consoles
- wfs.pl -- Well Founded Semantics interface
- strings.pl -- String utilities
- make.pl -- Reload modified source files
- hashtable.pl -- Hash tables
- shell.pl -- Elementary shell commands
- prolog_autoload.pl -- Autoload all dependencies
- portray_text.pl -- Portray text
- macros.pl -- Macro expansion
- rwlocks.pl -- Read/write locks
- prolog_history.pl -- Per-directory persistent commandline history
- writef.pl -- Old-style formatted write
- prolog_trace.pl -- Print access to predicates
- prolog_wrap.pl -- Wrapping predicates
- streams.pl -- Manage Prolog streams
- library
- argv_usage(:Level) is det
- Use print_message/2 to print a usage message at Level. To print the
message as plain text indefault color, use
debug. Other meaningful options areinformationalorwarning. The help page consists of four sections, two of which are optional:- The header is created from
opt_help(help(header), String). It is optional. - The usage is added by default. The part behind
Usage: <command>is by default[options]and can be overruled usingopt_help(help(usage), String). - The actual option descriptions. The options are presented in the order they are defined in opt_type/3. Subsequent options for the same destination (option name) are joined with the first.
- The footer_ is created from
opt_help(help(footer), String). It is optional.
The help provided by
help(header),help(usage)andhelp(footer)are either a simple string or a list of elements as defined by print_message_lines/3. In the latter case, the construct\Callablecan be used to call a DCG rule in the module from which the user calls argv_options/3. For example, we can add a bold title usingopt_help(help(header), [ansi(bold, '~w', ['My title'])]).
- The header is created from