4.35.2.2 Time and date predicates
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Built-in Predicates
        • Operating System Interaction
          • Dealing with time and date
            • Time and date predicates
              • get_time/1
              • stamp_date_time/3
              • date_time_stamp/2
              • date_time_value/3
              • format_time/3
              • format_time/4
              • parse_time/2
              • parse_time/3
              • day_of_the_week/2
    • Packages
Availability:built-in
stamp_date_time(+TimeStamp, -DateTime, +TimeZone)
Convert a TimeStamp to a DateTime in the given timezone. See section 4.35.2.1 for details on the data types. TimeZone describes the timezone for the conversion. It is one of local to extract the local time, 'UTC' to extract a UTC time or an integer describing the seconds west of Greenwich.