[ Operating System | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

date(-Date)

Date is bound to the string giving the date and time.
Date
Variable or string.

Description

Unifies Date with the current date and time.

Modes and Determinism

Exceptions

(5) type error
Date is instantiated, but not to a string.

Examples

Success:
      [eclipse]: date(Date).
      Date = "Fri Aug  25 12:00:00 1989\n"
      yes.

Fail:
      date("Fri Aug  24 12:00:00 1989\n").

Error:
      date(thursday).                (Error 5).



See Also

get_flag / 2, local_time / 8, local_time_string / 3, library(calendar)