Display program code

time_point.pl : Time point constraints
Handles constraints about the approximate position and difference of time points.

How to use:
Time is represented by float numbers, time points by variables.
The following constraints are used:
Time point P is between time T1 and T2: pos(T1,P,T2)
Distance of points P1 and P2 is between T1 and T2: dist(T1,P1,P2,T2)
P is the origin: start(P) (equivalent: pos(0,P,0))

Program: Change the code, then submit!

Console: Enter query or select example from below, then submit and wait for answer!

Select example query: 

CHR
WebCHR help - CHR Website - (c) Copyrights Martin Kaeser Uni Ulm 2007