<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 - Property Definition Index</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_236.html">previous</A>, <A HREF="ciao_238.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="SEC920" HREF="ciao_toc.html#TOC920">Property Definition Index</A></H1> <P> Jump to: <A HREF="#prindex_=">=</A> - <A HREF="#prindex_@">@</A> - <A HREF="#prindex_\">\</A> - <A HREF="#prindex_a">a</A> - <A HREF="#prindex_c">c</A> - <A HREF="#prindex_d">d</A> - <A HREF="#prindex_e">e</A> - <A HREF="#prindex_f">f</A> - <A HREF="#prindex_g">g</A> - <A HREF="#prindex_h">h</A> - <A HREF="#prindex_i">i</A> - <A HREF="#prindex_l">l</A> - <A HREF="#prindex_m">m</A> - <A HREF="#prindex_n">n</A> - <A HREF="#prindex_p">p</A> - <A HREF="#prindex_r">r</A> - <A HREF="#prindex_s">s</A> - <A HREF="#prindex_t">t</A> - <A HREF="#prindex_u">u</A> - <A HREF="#prindex_v">v</A> - <A HREF="#prindex_w">w</A> <P> <H2><A NAME="prindex_=">=</A></H2> <DIR> <LI><A HREF="ciao_20.html#IDX1443">=/2</A> <LI><A HREF="ciao_21.html#IDX1472">==/2</A> </DIR> <H2><A NAME="prindex_@">@</A></H2> <DIR> <LI><A HREF="ciao_21.html#IDX1478">@</2</A> <LI><A HREF="ciao_21.html#IDX1481">@=</2</A> <LI><A HREF="ciao_21.html#IDX1484">@>/2</A> <LI><A HREF="ciao_21.html#IDX1487">@>=/2</A> </DIR> <H2><A NAME="prindex_\">\</A></H2> <DIR> <LI><A HREF="ciao_21.html#IDX1475">\==/2</A> </DIR> <H2><A NAME="prindex_a">a</A></H2> <DIR> <LI><A HREF="ciao_19.html#IDX1415">atom/1</A> <LI><A HREF="ciao_19.html#IDX1427">atomic/1</A> </DIR> <H2><A NAME="prindex_c">c</A></H2> <DIR> <LI><A HREF="ciao_117.html#IDX5727">class_name/1</A> <LI><A HREF="ciao_117.html#IDX5736">class_source/1</A> <LI><A HREF="ciao_18.html#IDX1376">compat/2</A> <LI><A HREF="ciao_117.html#IDX5724">constructor/1</A> <LI><A HREF="ciao_62.html#IDX4079">covered/1</A> <LI><A HREF="ciao_62.html#IDX4053">covered/2</A> </DIR> <H2><A NAME="prindex_d">d</A></H2> <DIR> <LI><A HREF="ciao_124.html#IDX5999">davinci_command/1</A> <LI><A HREF="ciao_68.html#IDX4299">dictionary/1</A> <LI><A HREF="ciao_121.html#IDX5849">do_not_free/2</A> <LI><A HREF="ciao_60.html#IDX3981">docstring/1</A> </DIR> <H2><A NAME="prindex_e">e</A></H2> <DIR> <LI><A HREF="ciao_86.html#IDX4733">expander_pred/1</A> </DIR> <H2><A NAME="prindex_f">f</A></H2> <DIR> <LI><A HREF="ciao_62.html#IDX4070">fails/1</A> <LI><A HREF="ciao_221.html#IDX9429">field_Id/1</A> <LI><A HREF="ciao_62.html#IDX4115">finite_solutions/1</A> <LI><A HREF="ciao_19.html#IDX1421">float/1</A> <LI><A HREF="ciao_121.html#IDX5835">foreign/1</A> <LI><A HREF="ciao_121.html#IDX5839">foreign/2</A> <LI><A HREF="ciao_113.html#IDX5510">fuzzybody/1</A> </DIR> <H2><A NAME="prindex_g">g</A></H2> <DIR> <LI><A HREF="ciao_19.html#IDX1430">ground/1</A>, <A HREF="ciao_62.html#IDX4127">ground/1</A> </DIR> <H2><A NAME="prindex_h">h</A></H2> <DIR> <LI><A HREF="ciao_60.html#IDX3875">head_pattern/1</A> </DIR> <H2><A NAME="prindex_i">i</A></H2> <DIR> <LI><A HREF="ciao_62.html#IDX4121">indep/1</A> <LI><A HREF="ciao_62.html#IDX4124">indep/2</A> <LI><A HREF="ciao_81.html#IDX4603">instance/2</A> <LI><A HREF="ciao_117.html#IDX5733">instance_id/1</A> <LI><A HREF="ciao_19.html#IDX1418">integer/1</A> <LI><A HREF="ciao_117.html#IDX5730">interface_name/1</A> <LI><A HREF="ciao_117.html#IDX5739">interface_source/1</A> <LI><A HREF="ciao_32.html#IDX2174">internal_module_id/1</A> <LI><A HREF="ciao_62.html#IDX4085">is_det/1</A> <LI><A HREF="ciao_18.html#IDX1381">iso/1</A> </DIR> <H2><A NAME="prindex_l">l</A></H2> <DIR> <LI><A HREF="ciao_124.html#IDX6005">lgraph/1</A> <LI><A HREF="ciao_69.html#IDX4350">line/1</A> <LI><A HREF="ciao_62.html#IDX4056">linear/1</A> <LI><A HREF="ciao_48.html#IDX3154">list1/2</A> </DIR> <H2><A NAME="prindex_m">m</A></H2> <DIR> <LI><A HREF="ciao_18.html#IDX1354">member/2</A> <LI><A HREF="ciao_117.html#IDX5742">method_spec/1</A> <LI><A HREF="ciao_62.html#IDX4059">mshare/1</A> <LI><A HREF="ciao_9.html#IDX838">multpredspec/1</A> <LI><A HREF="ciao_62.html#IDX4094">mut_exclusive/1</A> </DIR> <H2><A NAME="prindex_n">n</A></H2> <DIR> <LI><A HREF="ciao_60.html#IDX3917">nabody/1</A> <LI><A HREF="ciao_18.html#IDX1393">native/1</A>, <A HREF="ciao_121.html#IDX5823">native/1</A> <LI><A HREF="ciao_18.html#IDX1396">native/2</A>, <A HREF="ciao_121.html#IDX5827">native/2</A> <LI><A HREF="ciao_62.html#IDX4088">non_det/1</A> <LI><A HREF="ciao_62.html#IDX4067">nonground/1</A> <LI><A HREF="ciao_19.html#IDX1412">nonvar/1</A>, <A HREF="ciao_62.html#IDX4130">nonvar/1</A> <LI><A HREF="ciao_62.html#IDX4082">not_covered/1</A> <LI><A HREF="ciao_62.html#IDX4073">not_fails/1</A> <LI><A HREF="ciao_18.html#IDX1384">not_further_inst/2</A> <LI><A HREF="ciao_62.html#IDX4097">not_mut_exclusive/1</A> <LI><A HREF="ciao_19.html#IDX1424">number/1</A> </DIR> <H2><A NAME="prindex_p">p</A></H2> <DIR> <LI><A HREF="ciao_214.html#IDX9136">parse/1</A> <LI><A HREF="ciao_62.html#IDX4076">possibly_fails/1</A> <LI><A HREF="ciao_62.html#IDX4091">possibly_nondet/1</A> </DIR> <H2><A NAME="prindex_r">r</A></H2> <DIR> <LI><A HREF="ciao_18.html#IDX1390">regtype/1</A> <LI><A HREF="ciao_121.html#IDX5843">returns/2</A> </DIR> <H2><A NAME="prindex_s">s</A></H2> <DIR> <LI><A HREF="ciao_18.html#IDX1387">sideff/2</A> <LI><A HREF="ciao_62.html#IDX4100">size_lb/2</A> <LI><A HREF="ciao_121.html#IDX5831">size_of/3</A> <LI><A HREF="ciao_62.html#IDX4103">size_ub/2</A> <LI><A HREF="ciao_7.html#IDX641">sourcenames/1</A> <LI><A HREF="ciao_62.html#IDX4112">steps/2</A> <LI><A HREF="ciao_62.html#IDX4106">steps_lb/2</A> <LI><A HREF="ciao_62.html#IDX4109">steps_ub/2</A> <LI><A HREF="ciao_48.html#IDX3210">sublist/2</A> <LI><A HREF="ciao_48.html#IDX3213">subordlist/2</A> </DIR> <H2><A NAME="prindex_t">t</A></H2> <DIR> <LI><A HREF="ciao_62.html#IDX4118">terminates/1</A> <LI><A HREF="ciao_19.html#IDX1433">type/2</A> </DIR> <H2><A NAME="prindex_u">u</A></H2> <DIR> <LI><A HREF="ciao_124.html#IDX6002">ugraph/1</A> </DIR> <H2><A NAME="prindex_v">v</A></H2> <DIR> <LI><A HREF="ciao_19.html#IDX1409">var/1</A>, <A HREF="ciao_62.html#IDX4133">var/1</A> <LI><A HREF="ciao_117.html#IDX5745">virtual_method_spec/1</A> </DIR> <H2><A NAME="prindex_w">w</A></H2> <DIR> <LI><A HREF="ciao_39.html#IDX2866">write_option/1</A> </DIR> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_236.html">previous</A>, <A HREF="ciao_238.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>