protocol
intervalp
Basic temporal interval relations protocol (based on James F. Allen Interval Algebra work).
logtalk_load(intervals(loader))staticPublic predicates
new/3
Constructs a new interval given start and end points. The start point must strictly precede the end point.
staticnew(Start,End,Interval)new(@ground,@ground,-interval) - zero_or_onevalid/1
True if Interval is a valid interval.
staticvalid(Interval)valid(@interval) - zero_or_onebefore/2
True if Interval1 takes place before Interval2.
staticbefore(Interval1,Interval2)before(@interval,@interval) - zero_or_oneafter/2
True if Interval1 takes place after Interval2.
staticafter(Interval1,Interval2)after(@interval,@interval) - zero_or_onemeets/2
True if Interval1 meets Interval2.
staticmeets(Interval1,Interval2)meets(@interval,@interval) - zero_or_onemet_by/2
True if Interval1 is met by Interval2.
staticmet_by(Interval1,Interval2)met_by(@interval,@interval) - zero_or_oneoverlaps/2
True if Interval1 overlaps with Interval2.
staticoverlaps(Interval1,Interval2)overlaps(@interval,@interval) - zero_or_oneoverlapped_by/2
True if Interval1 is overlapped by Interval2.
staticoverlapped_by(Interval1,Interval2)overlapped_by(@interval,@interval) - zero_or_onestarts/2
True if Interval1 starts Interval2.
staticstarts(Interval1,Interval2)starts(@interval,@interval) - zero_or_onestarted_by/2
True if Interval1 is started by Interval2.
staticstarted_by(Interval1,Interval2)started_by(@interval,@interval) - zero_or_oneduring/2
True if Interval1 occurs during Interval2.
staticduring(Interval1,Interval2)during(@interval,@interval) - zero_or_onecontains/2
True if Interval1 contains Interval2.
staticcontains(Interval1,Interval2)contains(@interval,@interval) - zero_or_onefinishes/2
True if Interval1 finishes Interval2.
staticfinishes(Interval1,Interval2)finishes(@interval,@interval) - zero_or_onefinished_by/2
True if Interval1 is finished by Interval2.
staticfinished_by(Interval1,Interval2)finished_by(@interval,@interval) - zero_or_oneequal/2
True if Interval1 is equal to Interval2.
staticequal(Interval1,Interval2)equal(@interval,@interval) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)
See also