protocol
datep¶
Date protocol.
Author: Paulo Moura
Version: 1.1
Date: 2005/3/17
Compilation flags:
static(no dependencies on other entities)
Public interface¶
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 interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)