/usr/local/lib/swipl/library/date.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
      • broadcast.pl -- Event service
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl
      • 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
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl -- Examine Prolog source-files
      • record.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 -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • yall.pl -- Lambda expressions
      • sandbox.pl -- Sandboxed Prolog code
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl
      • prolog_format.pl -- Analyse format specifications
      • 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_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
      • 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
        • date_time_value/3
        • parse_time/2
        • parse_time/3
        • day_of_the_week/2
        • day_of_the_year/2
      • persistency.pl -- Provide persistent dynamic predicates
      • iostream.pl -- Utilities to deal with streams
      • prolog_stack.pl -- Examine the Prolog stack
      • edinburgh.pl
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • dicts.pl -- Dict utilities
      • dif.pl
      • varnumbers.pl -- Utilities for numbered terms
      • pio.pl -- Pure I/O
      • base32.pl
      • charsio.pl -- I/O on Lists of Character Codes
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl
      • heaps.pl -- heaps/priority queues
      • rbtrees.pl -- Red black trees
      • statistics.pl -- Get information about resource usage
      • when.pl -- Conditional coroutining
      • backcomp.pl -- Backward compatibility
      • ctypes.pl -- Character code classification
      • prolog_trace.pl -- Print access to predicates
      • writef.pl
      • listing.pl -- List programs and pretty print clauses
      • nb_set.pl -- Non-backtrackable sets
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • prolog_config.pl
      • prolog_wrap.pl -- Wrapping predicates
      • tty.pl
      • hashtable.pl
      • prolog_history.pl
      • optparse.pl
      • strings.pl -- String utilities
      • fastrw.pl
      • prolog_metainference.pl
      • prolog_codewalk.pl -- Prolog code walker
      • prolog_debug.pl
      • threadutil.pl -- Interactive thread utilities
      • thread.pl -- High level thread primitives
      • prolog_profile.pl -- Execution profiler
      • make.pl
      • check.pl -- Consistency checking
      • tables.pl
      • increval.pl
      • help.pl
      • oset.pl
      • explain.pl
      • macros.pl
      • shell.pl
      • prolog_coverage.pl -- Coverage analysis tool
      • quintus.pl
 parse_time(+Text, -Stamp) is semidet
 parse_time(+Text, ?Format, -Stamp) is semidet
Stamp is a timestamp created from parsing Text using the representation Format. Currently supported formats are:
rfc_1123
Preferred for the HTTP protocol to represent time-stamps, e.g.
Fri, 08 Dec 2006 15:29:44 GMT

All components except for the time zone are obligatory. If the time zone is omitted, the time is interpreted as local time.

rfc_1036
(Outdated) alternative for HTTP Protocol, e.g.
Sunday, 06-Nov-94 08:49:37 GMT
iso_8601
Commonly used in XML documents. Actually the XML RFC3339 is a profile of ISO8601. For example
2006-12-08T15:29:44Z

The ISO8601 format allows removing components from the right, returning the lowest time stamp in the specified internal. If a time is specified but no time zone, the time stamp is computed for the local time. If only the date components are specified, the stamp uses UTC. To compute the start of a day in local time, use e.g. 2006-12-08T00.

asctime
ANSI C's asctime() format, e.g.
Sun Nov  6 08:49:37 1994

This format has no time zone and is interpreted as local time.

Arguments:
Text- is an atom, string or list of character codes.
See also
- xsd_time_string/3 from library(sgml) implements RFC3339 strictly.