protocol
datep¶
Date protocol.
Author: Paulo Moura
Version: 1.1
Date: 2005/3/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_moreProtected predicates¶
(none)
Private predicates¶
(none)