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].
%   time_util compiled 0.01 sec, 15,424 bytes
%  time compiled 0.02 sec, 22,708 bytes
% test_time compiled 0.02 sec, 37,540 bytes

Yes
?- go.
Is [2003-01-01T00:00:00] an instant [yes]?  yes.
Is [2003-11-27T00:00:00] an instant [yes]?  yes.
Is [2003-12-25T00:00:00] an instant [yes]?  yes.
Is [2003---------------] an instant [no]?  no.
Is [2003T11-12T00:24:99] an instant [no]?  no.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] an interval [yes]?  yes.
Is [2003-11-27T06:30:00, 2003-11-28T00:33:00] an interval [yes]?  yes.
Is [2003-11-27T00:00:00, 2003-12-25T00:00:00] an interval [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] proper interval [yes]?  yes.
Is [2003-11-27T06:30:00, 2003-11-28T00:33:00] proper interval [yes]?  yes.
Is [2003-11-27T00:00:00, 2003-12-25T00:00:00] proper interval [yes]?  yes.
Is [2003-12-25T00:00:00, 2003-11-27T00:00:00] proper interval [no]?  no.
Is [2003-12-25T00:00:00, 2003-12-25T00:00:00] proper interval [no]?  no.
[2003-01-01T00:00:00] begins [2003-01-01T00:00:00] true [yes]?  yes.
[2003-01-01T00:00:00] begins [2003-01-01T00:00:00, 2003-12-25T00:00:00] true [yes]?  yes.
[2003-01-01T00:00:00] ends [2003-01-01T00:00:00, 2003-12-25T00:00:00] true [no]?  no.
[2003-12-25T00:00:00] ends [2003-01-01T00:00:00, 2003-12-25T00:00:00] true [yes]?  yes.
Is [2003-01-01T00:00:00] before [2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00] before [2003-11-27T06:30:00, 2003-11-28T00:33:00] [yes]?  yes.
Is [2003-11-25T00:00:00, 2003-11-27T00:00:00] before [2003-12-25T00:00:00] [yes]?  yes.
Is [2003-11-25T00:00:00, 2003-12-25T00:00:00] before [2003-11-27T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-11-27T00:00:00] before [2003-12-25T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-11-25T00:00:00, 2003-12-26T00:00:00] before [2003-11-27T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00] after [2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00] after [2003-11-27T06:30:00, 2003-11-28T00:33:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-11-27T00:00:00] after [2003-12-25T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-12-25T00:00:00] after [2003-11-27T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-11-27T00:00:00] after [2003-12-25T00:00:00, 2003-12-26T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-12-26T00:00:00] after [2003-11-27T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] after [2003-01-01T00:00:00, 2003-11-25T00:00:00] [yes]?  yes.
Is [2003-11-25T00:00:00] inside of [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00] inside of [2003-01-01T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] inside of [2003-01-01T00:00:00, 2003-11-25T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00] begins or in [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00] begins or in [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] begins or in [2003-01-01T00:00:00, 2003-11-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] in between of [2003-01-01T00:00:00], [2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] in between of [2003-12-26T00:00:00], [2003-12-25T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] in between of [2003-01-01T00:00:00], [2003-11-25T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] int-equals [2003-01-01T00:00:00, 2003-11-25T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] int-equals [2003-11-27T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-before [2003-11-27T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-after [2003-11-27T00:00:00, 2003-12-26T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-26T00:00:00] int-meets [2003-12-26T00:00:00, 2003-12-26T00:00:00] [no]?  no.
Is [2003-11-27T00:00:00, 2003-12-25T00:00:00] int-meets [2003-12-25T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-12-25T00:00:00, 2003-12-26T00:00:00] int-met-by [2003-11-27T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] int-overlaps [2003-11-25T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-11-25T00:00:00, 2003-12-26T00:00:00] int-overlapped-by [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] int-overlapped-by [2003-11-25T00:00:00, 2003-12-26T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-starts [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] int-started-by [2003-01-01T00:00:00, 2003-11-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-started-by [2003-01-01T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-12-25T00:00:00] int-during [2003-01-01T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-26T00:00:00] int-during [2003-11-25T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-12-26T00:00:00] int-contains [2003-11-25T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-26T00:00:00] int-contains [2003-01-01T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-finishes [2003-01-01T00:00:00, 2003-11-25T00:00:00] [no]?  no.
Is [2003-11-25T00:00:00, 2003-11-27T00:00:00] int-finishes [2003-01-01T00:00:00, 2003-11-27T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] int-finished-by [2003-12-25T00:00:00, 2003-12-26T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-12-25T00:00:00] int-finished-by [2003-11-25T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-11-27T06:30:00, 2003-11-28T00:33:00] int-starts-or-during [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-11-28T00:33:00] int-starts-or-during [2003-01-01T00:00:00, 2003-12-25T00:00:00] [yes]?  yes.
Is [2003-01-01T00:00:00, 2003-12-26T00:00:00] int-starts-or-during [2003-01-01T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-12-26T00:00:00] int-nonoverlap [2003-01-01T00:00:00, 2003-12-25T00:00:00] [no]?  no.
Is [2003-01-01T00:00:00, 2003-11-25T00:00:00] int-nonoverlap [2003-12-25T00:00:00, 2003-12-26T00:00:00] [yes]?  yes.

Yes
?- halt.