
compare_instances_range(-Res, ?TermL, ?TermR)

   Compare instance handler for the range attribute.

Arguments
   Res                 Result (set to '<','>', or '=')
   TermL               Term (one must be attributed variable)
   TermR               Term (one must be attributed variable)

Type
   library(range)

Description

    Handler for compare_instance for the range attribute. At least one of 
    TermL or TermR should be an attributed variable.


    A range variable is an instance of another when its range is subsumed 
    by the other range.


See Also
   compare_instances / 3
