/usr/local/lib/swipl/library/ansi_term.pl
All Application Manual Name SummaryHelp

  • swipl
    • library
      • error.pl
      • debug.pl -- Print debug messages and test assertions
      • apply.pl -- Apply predicates on a list
      • lists.pl -- List Manipulation
      • broadcast.pl
      • 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 -- Read utilities
      • operators.pl -- Manage operators
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl -- Examine Prolog source-files
      • record.pl
      • predicate_options.pl -- Access and analyse predicate options
      • sandbox.pl
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • yall.pl -- Lambda expressions
      • assoc.pl
      • prolog_format.pl
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl -- Pure Input from files and streams
      • solution_sequences.pl -- Modify solution sequences
      • ordsets.pl
      • random.pl
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl
      • modules.pl
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl -- Prolog syntax colouring support.
      • lazy_lists.pl -- Lazy list handling
      • ugraphs.pl -- Graph manipulation library
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl -- A package manager for Prolog
      • git.pl -- Run GIT commands
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • dialect.pl -- Support multiple Prolog dialects
      • system.pl -- System utilities
      • terms.pl -- Term manipulation
      • date.pl -- Process dates and times
      • persistency.pl -- Provide persistent dynamic predicates
      • iostream.pl -- Utilities to deal with streams
      • prolog_stack.pl -- Examine the Prolog stack
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • dicts.pl
      • dif.pl -- The dif/2 constraint
      • varnumbers.pl -- Utilities for numbered terms
      • pio.pl -- Pure I/O
      • hashtable.pl -- Hash tables
      • tty.pl -- Terminal operations
      • edit.pl -- Editor interface
      • fastrw.pl -- Fast reading and writing of terms
      • backcomp.pl -- Backward compatibility
      • statistics.pl -- Get information about resource usage
      • thread.pl -- High level thread primitives
      • base32.pl -- Base32 encoding and decoding
      • charsio.pl
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • heaps.pl
      • rbtrees.pl
      • when.pl
      • ansi_term.pl -- Print decorated text to ANSI consoles
        • ansi_format/3
        • ansi_format/4
        • ansi_sgr/2
        • ansi_hyperlink/2
        • ansi_hyperlink/3
        • tty_url_hook/2
        • ansi_get_color/2
        • console_color/3
        • console_color/2
        • theme_base/2
        • message_line_element/2
      • nb_set.pl -- Non-backtrackable sets
      • listing.pl -- List programs and pretty print clauses
      • quintus.pl
      • strings.pl -- String utilities
      • ctypes.pl -- Character code classification
      • shell.pl -- Elementary shell commands
      • prolog_trace.pl -- Print access to predicates
      • prolog_coverage.pl -- Coverage analysis tool
      • rwlocks.pl -- Read/write locks
      • oset.pl -- Ordered set manipulation
      • make.pl
      • check.pl -- Consistency checking
      • explain.pl
      • prolog_codewalk.pl
      • prolog_metainference.pl -- Infer meta-predicate properties
      • optparse.pl -- command line parsing
      • prolog_debug.pl -- User level debugging tools
      • threadutil.pl -- Interactive thread utilities
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • prolog_wrap.pl -- Wrapping predicates
      • tables.pl
      • increval.pl
      • streams.pl -- Manage Prolog streams
      • qsave.pl
      • zip.pl
      • prolog_history.pl -- Per-directory persistent commandline history
      • prolog_qlfmake.pl -- Compile the library to QLF format
      • intercept.pl
      • prolog_config.pl -- Provide configuration information
      • portray_text.pl -- Portray text
      • exceptions.pl
      • readln.pl
      • macros.pl -- Macro expansion
      • prolog_profile.pl -- Execution profiler
      • prolog_autoload.pl
      • writef.pl
      • prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
 prolog:theme_base(?Theme, ?Base) is nondet[multifile, library(ansi_term)]
Hook that makes Theme a variation of the theme Base. If Theme does not define the colours of a class (prolog:console_color/3), those of Base are used, and so on. The same applies to the styles of the online help and the theme colours of the development tools. The theme file of Theme must load the theme file of Base, e.g.
:- module(prolog_theme_my_dark, []).
:- use_module(library(theme/dark)).
:- multifile prolog:theme/1, prolog:theme_base/2.

prolog:theme(my_dark).
prolog:theme_base(my_dark, dark).