protocol

datep

Date protocol.

author:
Paulo Moura
version:
1.1
date:
2005/3/17
compilation:
static

(no dependencies on other files)

Public interface

today/3

Returns current date.

compilation:
static
template:
today(Year, Month, Day)
mode – number of solutions:
today(-integer, -integer, -integer) – one

leap_year/1

True if the argument is a leap year.

compilation:
static
template:
leap_year(Year)
mode – number of solutions:
leap_year(+integer) – zero_or_one

name_of_day/3

Name and short name of day.

compilation:
static
template:
name_of_day(Index, Name, Short)
mode – number of solutions:
name_of_day(?integer, ?atom, ?atom) – zero_or_more

name_of_month/3

Name and short name of month.

compilation:
static
template:
name_of_month(Index, Name, Short)
mode – number of solutions:
name_of_month(?integer, ?atom, ?atom) – zero_or_more

days_in_month/3

Number of days in a month.

compilation:
static
template:
days_in_month(Month, Year, Days)
mode – number of solutions:
days_in_month(?integer, +integer, ?integer) – zero_or_more

valid/3

True if the arguments represent a valid date.

compilation:
static
template:
valid(Year, Month, Day)
mode – number of solutions:
valid(@integer, @integer, @integer) – zero_or_one

Protected interface

(none)

Private predicates

(none)

Remarks

(none)