List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
SWI-Prolog 8.1.1
All
Application
Manual
Name
Summary
Help
date.pl -- Process dates and times
date_time_value
(?Field:atom, +Struct:datime, -Value)
is
nondet
Extract values from a date-time structure. Provided fields are
year
integer
month
1..12
day
1..31
hour
0..23
minute
0..59
second
0.0..60.0
utc_offset
integer
Offset to UTC in seconds (positive is west)
daylight_saving
bool
Name of timezone; fails if unknown
date
date(Y,M,D)
time
time(H,M,S)
parse_time
(+Text, -Stamp)
is
semidet
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.
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)
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)
parse_time
(+Text, -Stamp)
is
semidet
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.