
unify_range(+Term, ?Attribute)

   Unification handler for range attribute.

Arguments
   Term                
   Attribute           

Type
   library(range)

Description

     This is the unification handler for the range attribute. It is not
     meant to be called directly by the user.


     Unification between two variables amounts to intersecting their ranges
     and taking the more restrictive type as the result type.  If the
     intersection is empty, the unification fails.  Unifying a variable
     with a number involves a check whether the number is within the
     variable's range and of the proper type, otherwise failure occurs.



