Did you know ... Search Documentation:
date.pl -- Process dates and times
PublicShow source
Source date_time_value(?Field:atom, +Struct:datime, -Value) is nondet
Extract values from a date-time structure. Provided fields are
yearinteger
month1..12
day1..31
hour0..23
minute0..59
second0.0..60.0
utc_offsetintegerOffset to UTC in seconds (positive is west)
daylight_savingboolName of timezone; fails if unknown
datedate(Y,M,D)
timetime(H,M,S)
Source parse_time(+Text, -Stamp) is semidet
Source 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
Used for the HTTP protocol to represent time-stamps
iso_8601
Commonly used in XML documents.
Source day_of_the_week(+Date, -DayOfTheWeek) is det
Computes the day of the week for a given date. Days of the week are numbered from one to seven: monday = 1, tuesday = 2, ..., sunday = 7.
Arguments:
Date- is a term of the form date(+Year, +Month, +Day)
Source day_of_the_year(+Date, -DayOfTheYear) is det
Computes the day of the year for a given date. Days of the year are numbered from 1 to 365 (366 for a leap year).
Arguments:
Date- is a term of the form date(+Year, +Month, +Day)
Source parse_time(+Text, -Stamp) is semidet
Source 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
Used for the HTTP protocol to represent time-stamps
iso_8601
Commonly used in XML documents.