<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - Enumeration of integers inside a range</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_50.html">previous</A>, <A HREF="ciao_52.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC241" HREF="ciao_toc.html#TOC241">Enumeration of integers inside a range</A></H1> <P> <A NAME="IDX3302"></A> <P> <STRONG>Author(s):</STRONG> The CLIP Group.. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#276 (2004/1/9, 16:37:11 CET) <P> This modules enumerates integers between two numbers, or checks that an integer lies within a range <UL> <LI><A HREF="ciao_51.html#SEC242">Usage and interface (between)</A> <LI><A HREF="ciao_51.html#SEC243">Documentation on exports (between)</A> </UL> <H2><A NAME="SEC242" HREF="ciao_toc.html#TOC242">Usage and interface (<CODE>between</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(between)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX3303"></A> <CODE>between/3</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC243" HREF="ciao_toc.html#TOC243">Documentation on exports (<CODE>between</CODE>)</A></H2> <P> <A NAME="IDX3304"></A> <A NAME="IDX3305"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>between/3:</B> <DD><A NAME="IDX3306"></A> <P> <STRONG>Usage:</STRONG> <CODE>between(+Min, +Max, ?N)</CODE> <UL> <LI><EM>Description:</EM> <CODE>N</CODE> is an integer which is greater than or equal to <CODE>Min</CODE> and smaller than or equal to <CODE>Max</CODE>. Both <CODE>Min</CODE> and <CODE>Max</CODE> can be either integer or real numbers. <LI><EM>The following properties should hold at call time:</EM> <CODE>+Min</CODE> is currently instantiated to a number. (<CODE>term_typing:number/1</CODE>) <CODE>+Max</CODE> is currently instantiated to a number. (<CODE>term_typing:number/1</CODE>) <CODE>?N</CODE> is an integer. (<CODE>basic_props:int/1</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_50.html">previous</A>, <A HREF="ciao_52.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>