[ ECLiPSe Operating System built-in.|Group Index| Full 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.

Fail Conditions

Fails if Date is not the day's date.

Resatisfiable

No.

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, exec / 3, system / 1