protocol
datep
Date protocol.
Availability:
logtalk_load(dates(loader))Author: Paulo Moura
Version: 1:1:0
Date: 2005-03-17
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
today/3
Returns current date.
Compilation flags:
staticTemplate:
today(Year,Month,Day)Mode and number of proofs:
today(-integer,-integer,-integer) - oneleap_year/1
True if the argument is a leap year.
Compilation flags:
staticTemplate:
leap_year(Year)Mode and number of proofs:
leap_year(+integer) - zero_or_onename_of_day/3
Name and short name of day.
Compilation flags:
staticTemplate:
name_of_day(Index,Name,Short)Mode and number of proofs:
name_of_day(?integer,?atom,?atom) - zero_or_morename_of_month/3
Name and short name of month.
Compilation flags:
staticTemplate:
name_of_month(Index,Name,Short)Mode and number of proofs:
name_of_month(?integer,?atom,?atom) - zero_or_moredays_in_month/3
Number of days in a month.
Compilation flags:
staticTemplate:
days_in_month(Month,Year,Days)Mode and number of proofs:
days_in_month(?integer,+integer,?integer) - zero_or_morevalid/3
True if the arguments represent a valid date.
Compilation flags:
staticTemplate:
valid(Year,Month,Day)Mode and number of proofs:
valid(@integer,@integer,@integer) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)