4.35.3.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
format_time(+Out, +Format, +StampOrDateTime, +Locale)
Format time given a specified Locale. This predicate is a work-around for lacking proper portable and thread-safe time and locale handling in current C libraries. In its current implementation the only value allowed for Locale is posix, which currently only modifies the behaviour of the a, A, b and B format specifiers. The predicate is used to be able to emit POSIX locale week and month names for emitting standardised time-stamps such as RFC1123.