<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 - Extra-logical properties for typing</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_18.html">previous</A>, <A HREF="ciao_20.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="SEC138" HREF="ciao_toc.html#TOC138">Extra-logical properties for typing</A></H1> <P> <A NAME="IDX1399"></A> <P> <STRONG>Author(s):</STRONG> Daniel Cabeza, Manuel Hermenegildo. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 0.7#8 (1998/9/23, 19:21:44 MEST) <P> This library contains traditional Prolog predicates for testing types. They depend on the state of instantiation of their arguments, thus being of extra-logical nature. <UL> <LI><A HREF="ciao_19.html#SEC139">Usage and interface (term_typing)</A> <LI><A HREF="ciao_19.html#SEC140">Documentation on exports (term_typing)</A> </UL> <H2><A NAME="SEC139" HREF="ciao_toc.html#TOC139">Usage and interface (<CODE>term_typing</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> These predicates are builtin in Ciao, so nothing special has to be done to use them. <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Properties:</EM> <A NAME="IDX1400"></A> <CODE>var/1</CODE>, <A NAME="IDX1401"></A> <CODE>nonvar/1</CODE>, <A NAME="IDX1402"></A> <CODE>atom/1</CODE>, <A NAME="IDX1403"></A> <CODE>integer/1</CODE>, <A NAME="IDX1404"></A> <CODE>float/1</CODE>, <A NAME="IDX1405"></A> <CODE>number/1</CODE>, <A NAME="IDX1406"></A> <CODE>atomic/1</CODE>, <A NAME="IDX1407"></A> <CODE>ground/1</CODE>, <A NAME="IDX1408"></A> <CODE>type/2</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC140" HREF="ciao_toc.html#TOC140">Documentation on exports (<CODE>term_typing</CODE>)</A></H2> <P> <A NAME="IDX1409"></A> <A NAME="IDX1410"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>var/1:</B> <DD><A NAME="IDX1411"></A> <P> <STRONG>General properties:</STRONG> <CODE>var(X)</CODE> <UL> <LI><EM>The following properties hold globally:</EM> This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) This predicate is understood natively by CiaoPP as <CODE>free(X)</CODE>. (<CODE>basic_props:native/2</CODE>) <CODE>var(X)</CODE> is side-effect <CODE>hard</CODE>. (<CODE>basic_props:sideff/2</CODE>) </UL> <P> <STRONG>Usage:</STRONG> <CODE>var(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is a free variable. <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) </UL> </DL> <P> <A NAME="IDX1412"></A> <A NAME="IDX1413"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>nonvar/1:</B> <DD><A NAME="IDX1414"></A> <P> <STRONG>General properties:</STRONG> <CODE>nonvar(X)</CODE> <UL> <LI><EM>The following properties hold globally:</EM> This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) This predicate is understood natively by CiaoPP as <CODE>not_free(X)</CODE>. (<CODE>basic_props:native/2</CODE>) </UL> <P> <STRONG>Usage:</STRONG> <CODE>nonvar(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently a term which is not a free variable. <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) </UL> </DL> <P> <A NAME="IDX1415"></A> <A NAME="IDX1416"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>atom/1:</B> <DD><A NAME="IDX1417"></A> <P> <STRONG>Usage:</STRONG> <CODE>atom(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently instantiated to an atom. <LI><EM>The following properties hold upon exit:</EM> <CODE>X</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1418"></A> <A NAME="IDX1419"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>integer/1:</B> <DD><A NAME="IDX1420"></A> <P> <STRONG>Usage:</STRONG> <CODE>integer(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently instantiated to an integer. <LI><EM>The following properties hold upon exit:</EM> <CODE>X</CODE> is an integer. (<CODE>basic_props:int/1</CODE>) <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1421"></A> <A NAME="IDX1422"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>float/1:</B> <DD><A NAME="IDX1423"></A> <P> <STRONG>Usage:</STRONG> <CODE>float(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently instantiated to a float. <LI><EM>The following properties hold upon exit:</EM> <CODE>X</CODE> is a float. (<CODE>basic_props:flt/1</CODE>) <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1424"></A> <A NAME="IDX1425"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>number/1:</B> <DD><A NAME="IDX1426"></A> <P> <STRONG>Usage:</STRONG> <CODE>number(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently instantiated to a number. <LI><EM>The following properties hold upon exit:</EM> <CODE>X</CODE> is a number. (<CODE>basic_props:num/1</CODE>) <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1427"></A> <A NAME="IDX1428"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>atomic/1:</B> <DD><A NAME="IDX1429"></A> <P> <STRONG>Usage:</STRONG> <CODE>atomic(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently instantiated to an atom or a number. <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1430"></A> <A NAME="IDX1431"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>ground/1:</B> <DD><A NAME="IDX1432"></A> <P> <STRONG>Usage:</STRONG> <CODE>ground(X)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is currently ground (it contains no variables). <LI><EM>The following properties hold upon exit:</EM> <CODE>X</CODE> is ground. (<CODE>basic_props:gnd/1</CODE>) <LI><EM>The following properties hold globally:</EM> <CODE>X</CODE> is not further instantiated. (<CODE>basic_props:not_further_inst/2</CODE>) This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P> <A NAME="IDX1433"></A> <A NAME="IDX1434"></A> <DL> <DT><span class="define">PROPERTY:</span> <B>type/2:</B> <DD><A NAME="IDX1435"></A> <P> <STRONG>Usage:</STRONG> <CODE>type(X, Y)</CODE> <UL> <LI><EM>Description:</EM> <CODE>X</CODE> is internally of type <CODE>Y</CODE> (<CODE>var</CODE>, <CODE>attv</CODE>, <CODE>float</CODE>, <CODE>integer</CODE>, <CODE>structure</CODE>, <CODE>atom</CODE> or <CODE>list</CODE>). <LI><EM>The following properties hold upon exit:</EM> <CODE>Y</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <LI><EM>The following properties hold globally:</EM> This predicate is understood natively by CiaoPP. (<CODE>basic_props:native/1</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_18.html">previous</A>, <A HREF="ciao_20.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>