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

  • swipl
    • library
      • error.pl
      • debug.pl
      • apply.pl
      • lists.pl
      • broadcast.pl
      • shlib.pl
      • option.pl -- Option list processing
      • thread_pool.pl -- Resource bounded thread management
      • gensym.pl
      • settings.pl -- Setting management
      • arithmetic.pl -- Extensible arithmetic
      • main.pl
      • readutil.pl -- Read utilities
      • operators.pl
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl
      • record.pl
      • quasi_quotations.pl
      • pure_input.pl -- Pure Input from files and streams
      • solution_sequences.pl
      • ordsets.pl
      • random.pl
      • base64.pl
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • yall.pl
      • sandbox.pl
      • 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
      • modules.pl
      • occurs.pl
      • prolog_xref.pl
      • prolog_colour.pl -- Prolog syntax colouring support.
      • lazy_lists.pl
      • ugraphs.pl
      • url.pl
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl
      • git.pl
      • utf8.pl
      • dialect.pl -- Support multiple Prolog dialects
      • system.pl
      • terms.pl
      • 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
      • iostream.pl -- Utilities to deal with streams
      • prolog_stack.pl
      • edinburgh.pl
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl
      • prolog_code.pl
      • sort.pl
      • dicts.pl -- Dict utilities
      • dif.pl -- The dif/2 constraint
      • varnumbers.pl
      • pio.pl -- Pure I/O
      • tables.pl
      • base32.pl
      • charsio.pl
      • codesio.pl
      • coinduction.pl -- Co-Logic Programming
      • heaps.pl -- heaps/priority queues
      • rbtrees.pl -- Red black trees
      • statistics.pl
      • when.pl -- Conditional coroutining
      • backcomp.pl
      • quintus.pl -- Quintus compatibility
      • prolog_coverage.pl
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • tty.pl
      • prolog_config.pl
      • exceptions.pl
      • make.pl
      • check.pl -- Consistency checking
      • optparse.pl
      • shell.pl -- Elementary shell commands
      • prolog_history.pl
      • fastrw.pl
      • edit.pl
      • nb_set.pl -- Non-backtrackable sets
      • thread.pl -- High level thread primitives
      • portray_text.pl
      • zip.pl
      • qsave.pl
      • prolog_autoload.pl
      • ctypes.pl -- Character code classification
      • increval.pl
      • listing.pl
      • files.pl
      • prolog_trace.pl
      • help.pl
      • intercept.pl
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • prolog_jiti.pl
      • prolog_profile.pl
      • prolog_wrap.pl
      • strings.pl
      • macros.pl
      • prolog_codewalk.pl
      • prolog_metainference.pl
      • readln.pl
      • rwlocks.pl
      • streams.pl
      • threadutil.pl -- Interactive thread utilities
      • prolog_debug.pl
      • writef.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.