Did you know ... Search Documentation:
Pack space -- prolog/space/timeindex.pl
PublicShow source
 time_setting(?Option) is det
Sets/retrieves settings and current values of an index. Supported Options are: size(-N), N is the number of URI-Time pairs in the index. epoch(+Epoch), sets a new Epoch for the index, clears the index. epoch(-Epoch), Epoch is the current Epoch of the index.
 time_assert(+URI, +Time) is det
 time_assert(+URI, +Time, +IndexName) is det
Inserts a new URI-Time pair into the index.
 time_retract(+URI, +Time) is det
 time_retract(+URI, +Time, +IndexName) is det
Removes a URI-Time pair from the index.
 time_clear(+IndexName, +NewOffset) is det
 time_clear(+IndexName) is det
 time_clear is det
Clears an index. Optionally sets a new epoch for the index that will be used for all future asserts into the index.
 time_index_all(+IndexName) is det
 time_index_all is det
Adds all URI-Time pairs found by the uri_time predicate into the index.
 time_bulkload(:CandidatePred, +Index) is det
 time_bulkload(:CandidatePred) is det
Like time_index_all, but indexes URI-Time pairs found by the custom predicate CandidatePred.
 time_intersects(+Time, -URI, +Index) is nondet
 time_intersects(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that intersects with the interval Time = interval(Begin,End).

NB! The implementation currently does not return intervals that contain the query interval, hence the name time_intersects is currently a misnomer.

 time_contains(+Time, -URI, +Index) is nondet
 time_contains(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that are contained by the interval Time = interval(Begin,End).
 time_prev_end(+Time, -URI, +Index) is nondet
 time_prev_end(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that ends before time point or interval Time in order of increasing duration.
 time_next_begin(+Time, -URI, +Index) is nondet
 time_next_begin(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that begins after time point or interval Time in order of increasing duration.
 uri_time(?URI, ?Time, ?Source, +Offset) is semidet
 uri_time(?URI, ?Time, ?Source) is semidet
 uri_time(?URI, ?Time) is semidet
Finds all URI-Time pairs described in the RDF database. Source matches the graphs in which the pair is described. Optionally, the Begin and End of the time interval are returned with respect to a given Offset.
 parse_timestamp(?TimeStampAtom, ?EpochTimeStamp) is det
Converts in both directions between a literal time representation and a numerical time representation based on the epoch. The format of the generated atom is ISO 8601 in UTC.
 parse_timestamp(+TimeStampAtom, -Epoch, +EpochOffset) is det
Converts between a literal TimeStamp atom and a numerical time representation based on the epoch - EpochOffset. This allows for a more fine grained representation of time for time points far away from the epoch.
 time_assert(+URI, +Time) is det
 time_assert(+URI, +Time, +IndexName) is det
Inserts a new URI-Time pair into the index.
 time_retract(+URI, +Time) is det
 time_retract(+URI, +Time, +IndexName) is det
Removes a URI-Time pair from the index.
 time_clear(+IndexName, +NewOffset) is det
 time_clear(+IndexName) is det
 time_clear is det
Clears an index. Optionally sets a new epoch for the index that will be used for all future asserts into the index.
 time_clear(+IndexName, +NewOffset) is det
 time_clear(+IndexName) is det
 time_clear is det
Clears an index. Optionally sets a new epoch for the index that will be used for all future asserts into the index.
 time_index_all(+IndexName) is det
 time_index_all is det
Adds all URI-Time pairs found by the uri_time predicate into the index.
 time_bulkload(:CandidatePred, +Index) is det
 time_bulkload(:CandidatePred) is det
Like time_index_all, but indexes URI-Time pairs found by the custom predicate CandidatePred.
 time_intersects(+Time, -URI, +Index) is nondet
 time_intersects(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that intersects with the interval Time = interval(Begin,End).

NB! The implementation currently does not return intervals that contain the query interval, hence the name time_intersects is currently a misnomer.

 time_contains(+Time, -URI, +Index) is nondet
 time_contains(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that are contained by the interval Time = interval(Begin,End).
 time_prev_end(+Time, -URI, +Index) is nondet
 time_prev_end(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that ends before time point or interval Time in order of increasing duration.
 time_next_begin(+Time, -URI, +Index) is nondet
 time_next_begin(+Time, -URI) is nondet
Finds all URIs that have an indexed time interval that begins after time point or interval Time in order of increasing duration.
 uri_time(?URI, ?Time, ?Source, +Offset) is semidet
 uri_time(?URI, ?Time, ?Source) is semidet
 uri_time(?URI, ?Time) is semidet
Finds all URI-Time pairs described in the RDF database. Source matches the graphs in which the pair is described. Optionally, the Begin and End of the time interval are returned with respect to a given Offset.
 uri_time(?URI, ?Time, ?Source, +Offset) is semidet
 uri_time(?URI, ?Time, ?Source) is semidet
 uri_time(?URI, ?Time) is semidet
Finds all URI-Time pairs described in the RDF database. Source matches the graphs in which the pair is described. Optionally, the Begin and End of the time interval are returned with respect to a given Offset.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 time_index(Arg1)
 time_index(Arg1, Arg2, Arg3, Arg4)
 time_setting(Arg1, Arg2)
 time_before(Arg1, Arg2)
 time_after(Arg1, Arg2)
 time_meets(Arg1, Arg2)
 time_meets_inverse(Arg1, Arg2)
 time_overlaps(Arg1, Arg2)
 time_overlaps_inverse(Arg1, Arg2)
 time_starts(Arg1, Arg2)
 time_starts_inverse(Arg1, Arg2)
 time_during(Arg1, Arg2)
 time_during_inverse(Arg1, Arg2)
 time_finishes(Arg1, Arg2)
 time_finishes_inverse(Arg1, Arg2)
 time_equal(Arg1, Arg2)
 time_expand_before(Arg1, Arg2, Arg3)
 time_expand_after(Arg1, Arg2, Arg3)
 time_expand(Arg1, Arg2, Arg3)
 time_duration(Arg1, Arg2)
 time_duration_before(Arg1, Arg2, Arg3)
 time_duration_after(Arg1, Arg2, Arg3)
 time_duration(Arg1, Arg2, Arg3)
 time_between(Arg1, Arg2, Arg3)
 timestamp_duration(Arg1, Arg2)