% Purpose: "unit" interface clauses for IDBACK.PL % Compile this file if and only if you compile your other % unit/3 clauses. I've swapped the arguments around from % the way Pereira & Porto had them, for efficiency. unit((V1-T1) < (V2-T2), V1 < V2, [T1,T2]). unit((V1-T1) > (V2-T2), V1 > V2, [T1,T2]). unit((V1-T1) =:= (V2-T2), V1 =:= V2, [T1,T2]). unit((V1-T1) =\= (V2-T2), V1 =\= V2, [T1,T2]). unit((V1-T1) >= (V2