[rules-users] help in date time format

[Sudhir M]

Hi,

My requirement is to compare two dates one a date object and the other
a date literal. In comparison it should also consider time. There is
format given for date literal (dd-mmm-yyy) but how can we add time to
it? I tried adding time it doesn't complain but seems to ignore the
time part in the date literal.

below is the example

Exam(name=="Math", examDate<="13-may-2010") this is my pattern.

tried

Exam(name=="Math", examDate<="15-may-2010 17:00:00")  but time ignored
while executing.

Is there any format for DateTime?

Thanks,
sudhir.