protocol
intervalp¶
Basic temporal interval relations protocol (based on James F. Allen Interval Algebra work).
Author: Paulo Moura
Version: 1:1:0
Date: 2014-04-26
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
new/3¶
Constructs a new interval given start and end points. The start point must strictly precede the end point.
Compilation flags:
staticTemplate:
new(Start,End,Interval)Mode and number of proofs:
new(@ground,@ground,-interval) - zero_or_onevalid/1¶
True if Interval is a valid interval.
Compilation flags:
staticTemplate:
valid(Interval)Mode and number of proofs:
valid(@interval) - zero_or_onebefore/2¶
True if Interval1 takes place before Interval2.
Compilation flags:
staticTemplate:
before(Interval1,Interval2)Mode and number of proofs:
before(@interval,@interval) - zero_or_oneafter/2¶
True if Interval1 takes place after Interval2.
Compilation flags:
staticTemplate:
after(Interval1,Interval2)Mode and number of proofs:
after(@interval,@interval) - zero_or_onemeets/2¶
True if Interval1 meets Interval2.
Compilation flags:
staticTemplate:
meets(Interval1,Interval2)Mode and number of proofs:
meets(@interval,@interval) - zero_or_onemet_by/2¶
True if Interval1 is met by Interval2.
Compilation flags:
staticTemplate:
met_by(Interval1,Interval2)Mode and number of proofs:
met_by(@interval,@interval) - zero_or_oneoverlaps/2¶
True if Interval1 overlaps with Interval2.
Compilation flags:
staticTemplate:
overlaps(Interval1,Interval2)Mode and number of proofs:
overlaps(@interval,@interval) - zero_or_oneoverlapped_by/2¶
True if Interval1 is overlapped by Interval2.
Compilation flags:
staticTemplate:
overlapped_by(Interval1,Interval2)Mode and number of proofs:
overlapped_by(@interval,@interval) - zero_or_onestarts/2¶
True if Interval1 starts Interval2.
Compilation flags:
staticTemplate:
starts(Interval1,Interval2)Mode and number of proofs:
starts(@interval,@interval) - zero_or_onestarted_by/2¶
True if Interval1 is started by Interval2.
Compilation flags:
staticTemplate:
started_by(Interval1,Interval2)Mode and number of proofs:
started_by(@interval,@interval) - zero_or_oneduring/2¶
True if Interval1 occurs during Interval2.
Compilation flags:
staticTemplate:
during(Interval1,Interval2)Mode and number of proofs:
during(@interval,@interval) - zero_or_onecontains/2¶
True if Interval1 contains Interval2.
Compilation flags:
staticTemplate:
contains(Interval1,Interval2)Mode and number of proofs:
contains(@interval,@interval) - zero_or_onefinishes/2¶
True if Interval1 finishes Interval2.
Compilation flags:
staticTemplate:
finishes(Interval1,Interval2)Mode and number of proofs:
finishes(@interval,@interval) - zero_or_onefinished_by/2¶
True if Interval1 is finished by Interval2.
Compilation flags:
staticTemplate:
finished_by(Interval1,Interval2)Mode and number of proofs:
finished_by(@interval,@interval) - zero_or_oneProtected predicates¶
(none)
Private predicates¶
(none)