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::- use_module(library(date)).(can be autoloaded)
Sourcedate_time_value(?Key, +DateTime, ?Value)
Extract values from a date/9 term. Provided keys are:

keyvalue
year Calendar year as an integer
month Calendar month as an integer 1..12
day Calendar day as an integer 1..31
hour Clock hour as an integer 0..23
minute Clock minute as an integer 0..59
second Clock second as a float 0.0..60.0
utc_offset Offset to UTC in seconds (positive is west)
time_zone Name of timezone; fails if unknown
daylight_saving Bool (true) if dst is in effect
date Term date(Y,M,D)
time Term time(H,M,S)