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:
- Predicates:
between/3.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, assertions, isomodes.
- Packages:
Documentation on exports
PREDICATE
Usage:between(Min,Max,N)
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.
