ON THIS PAGE
Enumeration of integers inside a range
Author(s): The Ciao Development Team.
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:
Documentation on exports
PREDICATEbetween/3
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.
Documentation on imports
This module has the following direct dependencies:- Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes.