Welcome to SWI-Prolog (Version 5.0.10)
Copyright (c) 1990-2002 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- [test_time_util]. 
%  time_util compiled 0.00 sec, 15,484 bytes
% test_time_util compiled 0.00 sec, 20,376 bytes

Yes
?- go.
===== Testing the predicate [dt_before/2] ===== 
Is 2003-01-01T12:00:00 before 2003-12-31T12:00:00? 
   Expected answer is [yes]. Test result [yes]
Is 2003-01-01T12:00:00 before 2002-12-31T12:00:00? 
   Expected answer is [no]. Test result [no].
Is 2003-11-25T03:00:00 before 2003-11-25T03:00:01? 
   Expected answer is [yes]. Test result [yes]
Is 0003-02-22T11:00:00 before 0003-12-22T13:34:11? 
   Expected answer is [yes]. Test result [yes]
Is 2003-12-26T00:00:00Z before 2003-12-26T13:00:00Z? 
   Expected answer is [yes]. Test result [yes]
Is 2003-02-26T00:00:00Z before 2003-02-26T00:00:00+05:00? 
   Expected answer is [no]. Test result [no].
Is 2003-02-11T00:00:00+05:00 before 2003-02-11T00:00:00Z? 
   Expected answer is [yes]. Test result [yes]
Is 1000-01-01T01:00:00-01:00 before 1000-01-01T01:00:00-02:00? 
   Expected answer is [yes]. Test result [yes]
Is 1000-01-01T01:00:00+01:00 before 1000-01-01T01:00:00+02:00? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00+01:00 before 1000-01-01T01:00:00-03:00? 
   Expected answer is [yes]. Test result [yes]
Is 2050-12-25T02:25:25Z before 2050-12-25T02:25:25Z? 
   Expected answer is [no]. Test result [no].
Is 2004-02-29T23:00:00-10:00 before 2004-03-01T09:00:00Z? 
   Expected answer is [no]. Test result [no].

==== Testing the predicate [dt_after/2] ====
Is 2003-01-01T12:00:00 after 2003-12-31T12:00:00? 
   Expected answer is [no]. Test result [no].
Is 2003-01-01T12:00:00 after 2002-12-31T12:00:00? 
   Expected answer is [yes]. Test result [yes]
Is 2003-11-25T03:00:00 after 2003-11-25T03:00:01? 
   Expected answer is [no]. Test result [no].
Is 0003-02-22T11:00:00 after 0003-12-22T13:34:11? 
   Expected answer is [no]. Test result [no].
Is 2003-12-26T00:00:00Z after 2003-12-26T13:00:00Z? 
   Expected answer is [no]. Test result [no].
Is 2003-02-26T00:00:00Z after 2003-02-26T00:00:00+05:00? 
   Expected answer is [yes]. Test result [yes]
Is 2003-02-11T00:00:00+05:00 after 2003-02-11T00:00:00Z? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00-01:00 after 1000-01-01T01:00:00-02:00? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00+01:00 after 1000-01-01T01:00:00+02:00? 
   Expected answer is [yes]. Test result [yes]
Is 1000-01-01T01:00:00+01:00 after 1000-01-01T01:00:00-03:00? 
   Expected answer is [no]. Test result [no].
Is 2050-12-25T02:25:25Z after 2050-12-25T02:25:25Z? 
   Expected answer is [no]. Test result [no].
Is 2004-02-29T23:00:00-10:00 after 2004-03-01T09:00:00Z? 
   Expected answer is [no]. Test result [no].
==== Testing the predicate [dt_equals/2] ====
Is 2003-01-01T12:00:00 equals 2003-12-31T12:00:00? 
   Expected answer is [no]. Test result [no].
Is 2003-01-01T12:00:00 equals 2002-12-31T12:00:00? 
   Expected answer is [no]. Test result [no].
Is 2003-11-25T03:00:00 equals 2003-11-25T03:00:01? 
   Expected answer is [no]. Test result [no].
Is 0003-02-22T11:00:00 equals 0003-12-22T13:34:11? 
   Expected answer is [no]. Test result [no].
Is 2003-12-26T00:00:00Z equals 2003-12-26T13:00:00Z? 
   Expected answer is [no]. Test result [no].
Is 2003-02-26T00:00:00Z equals 2003-02-26T00:00:00+05:00? 
   Expected answer is [no]. Test result [no].
Is 2003-02-11T00:00:00+05:00 equals 2003-02-11T00:00:00Z? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00-01:00 equals 1000-01-01T01:00:00-02:00? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00+01:00 equals 1000-01-01T01:00:00+02:00? 
   Expected answer is [no]. Test result [no].
Is 1000-01-01T01:00:00+01:00 equals 1000-01-01T01:00:00-03:00? 
   Expected answer is [no]. Test result [no].
Is 2050-12-25T02:25:25Z equals 2050-12-25T02:25:25Z? 
   Expected answer is [yes]. Test result [yes]
Is 2050-12-25T03:25:25+01:00 equals 2050-12-25T01:25:25-01:00? 
   Expected answer is [yes]. Test result [yes]
Is 2004-02-29T23:00:00-10:00 equals 2004-03-01T09:00:00Z? 
   Expected answer is [yes]. Test result [yes]

Yes
?- halt.