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

  • swipl
    • library
      • error.pl
      • debug.pl
      • apply.pl -- Apply predicates on a list
      • lists.pl
      • broadcast.pl -- Event service
      • shlib.pl
      • option.pl -- Option list processing
      • thread_pool.pl -- Resource bounded thread management
      • 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 -- Access compound arguments by name
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • sandbox.pl
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • yall.pl -- Lambda expressions
      • assoc.pl -- Binary associations
      • prolog_format.pl -- Analyse format specifications
        • format_spec/2
        • format_spec//1
        • format_types/2
      • pure_input.pl -- Pure Input from files and streams
      • solution_sequences.pl -- Modify solution sequences
      • ordsets.pl -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • predicate_options.pl
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl -- Operations on atoms
      • modules.pl -- Module utility predicates
      • 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
      • prolog_pack.pl -- A package manager for Prolog
      • git.pl
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • quintus.pl -- Quintus compatibility
      • prolog_versions.pl
      • prolog_wrap.pl -- Wrapping predicates
      • dialect.pl -- Support multiple Prolog dialects
      • date.pl
      • persistency.pl -- Provide persistent dynamic predicates
      • iostream.pl -- Utilities to deal with streams
      • prolog_code.pl -- Utilities for reasoning about code
      • strings.pl -- String utilities
      • dif.pl -- The dif/2 constraint
      • edinburgh.pl
      • terms.pl -- Term manipulation
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • threadutil.pl -- Interactive thread utilities
      • prolog_stack.pl -- Examine the Prolog stack
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • sort.pl
      • dicts.pl -- Dict utilities
      • varnumbers.pl -- Utilities for numbered terms
      • rbtrees.pl -- Red black trees
      • backcomp.pl -- Backward compatibility
      • charsio.pl -- I/O on Lists of Character Codes
      • base32.pl -- Base32 encoding and decoding
      • codesio.pl
      • coinduction.pl -- Co-Logic Programming
      • heaps.pl -- heaps/priority queues
      • statistics.pl -- Get information about resource usage
      • when.pl
      • edit.pl
      • ctypes.pl -- Character code classification
      • make.pl -- Reload modified source files
      • nb_set.pl -- Non-backtrackable sets
      • prolog_jiti.pl
      • tables.pl -- XSB interface to tables
      • zip.pl -- Access resource ZIP archives
      • optparse.pl -- command line parsing
      • prolog_debug.pl -- User level debugging tools
      • readln.pl -- Read line as list of tokens
      • thread.pl -- High level thread primitives
      • listing.pl -- List programs and pretty print clauses
      • prolog_codewalk.pl
      • prolog_metainference.pl
      • fastrw.pl -- Fast reading and writing of terms
      • qpforeign.pl -- Quintus compatible foreign loader
      • shell.pl -- Elementary shell commands
      • writef.pl
      • qsave.pl -- Save current program as a state or executable
      • hashtable.pl -- Hash tables
      • increval.pl -- Incremental dynamic predicate modification
      • files.pl
      • check.pl
      • prolog_history.pl
      • nb_rbtrees.pl
      • prolog_profile.pl
      • prolog_coverage.pl -- Coverage analysis tool
      • exceptions.pl -- Exception classification
      • prolog_autoload.pl
      • help.pl
      • prolog_trace.pl
      • explain.pl -- Describe Prolog Terms
      • oset.pl -- Ordered set manipulation
      • prolog_deps.pl
      • streams.pl
      • intercept.pl
      • prolog_config.pl
      • portray_text.pl
      • check_installation.pl -- Check installation issues and features
      • vm.pl
      • macros.pl
      • system.pl -- System utilities
      • rwlocks.pl
      • tty.pl -- Terminal operations
 format_spec(+Format, -Spec:list) is det
Parse a format string. Each element of Spec is one of the following:
text(Text)
Text sent to the output as is
escape(Num, Colon, Action)
A format escape. Num represents the optional numeric portion of an esape. Colon represents the optional colon in an escape. Action is an atom representing the action to be take by this escape.