stamp_date_time/3

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.3.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.