Enumeration of integers inside a range

Author(s): The CLIP Group.

This modules enumerates integers between two numbers, or checks that an integer lies within a range

Usage and interface

  • Library usage:
    :- use_module(library(between)).
  • Exports:

Documentation on exports

PREDICATE

Usage: between(Min,Max,N)

  • Description: N is a number which is greater than or equal to Min and smaller than or equal to Max. Both Min and Max can be either integer or real numbers.
  • The following properties should hold at call time:
    (term_typing:nonvar/1)Min is currently a term which is not a free variable.
    (term_typing:nonvar/1)Max is currently a term which is not a free variable.
    (basic_props:num/1)Min is a number.
    (basic_props:num/1)Max is a number.
  • The following properties should hold upon exit:
    (basic_props:int/1)N is an integer.