temporal.pl -- Temporally scoped statements.

author
- Daniel Beßler
license
- BSD
 +Statement during ?Interval is nondet[multifile]
True iff Statement holds during the whole duration of a time interval. during/2 is defined as an operator such that queries can be written as Statement during Interval. The Interval is represented as 2-element list [Since,Until] where Since and Until are the interval boundaries (unix timestamp, double). Note that it is currently not allowed to call this predicate with one of the boundaries grounded and the other not. Either both boundaries must be ground or both variables. If used in project expressions, during/2 will scope all assertions in Statement with the interval provided.
Arguments:
Statement- A language term.
Interval- A 2-element list.
 +Statement since ?Instant is nondet[multifile]
True for statements that hold (at least) since some time instant, and until at least the current time. since/2 is defined as an operator such that queries can be written as Statement since Instant. Instant is a unix timestamp represented as floating point number. If used in project expressions, since/2 will scope all assertions in Statement with an interval that begins at given time instant, and whose end is not known.
Arguments:
Statement- A language term.
Instant- A time instant.
 +Statement until ?Instant is nondet[multifile]
True for statements that hold (at least) until some time instant. until/2 is defined as an operator such that queries can be written as Statement until Instant. Instant is a unix timestamp represented as floating point number. If used in project expressions, until/2 updates the existing record of Statement known to hold at time instant if any, else it will create a record whose begin time is not known.
Arguments:
Statement- A language term.
Interval- A time interval, instant, or event.