<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 - Sets of variables in terms</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_81.html">previous</A>, <A HREF="ciao_83.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="SEC349" HREF="ciao_toc.html#TOC349">Sets of variables in terms</A></H1> <P> <A NAME="IDX4615"></A> <P> <STRONG>Author(s):</STRONG> The CLIP Group. <P> <STRONG>Version:</STRONG> 1.9#220 (2003/12/21, 18:58:25 CET) <P> This module implements predicates to handle sets of variables in terms. <UL> <LI><A HREF="ciao_82.html#SEC350">Usage and interface (terms_vars)</A> <LI><A HREF="ciao_82.html#SEC351">Documentation on exports (terms_vars)</A> </UL> <H2><A NAME="SEC350" HREF="ciao_toc.html#TOC350">Usage and interface (<CODE>terms_vars</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(terms_vars)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX4616"></A> <CODE>varset/2</CODE>, <A NAME="IDX4617"></A> <CODE>varsbag/3</CODE>, <A NAME="IDX4618"></A> <CODE>varset_in_args/2</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX4619"></A> <CODE>idlists</CODE>, <A NAME="IDX4620"></A> <CODE>sort</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC351" HREF="ciao_toc.html#TOC351">Documentation on exports (<CODE>terms_vars</CODE>)</A></H2> <P> <A NAME="IDX4621"></A> <A NAME="IDX4622"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>varset/2:</B> <DD><A NAME="IDX4623"></A> <P> <CODE>varset(Term, Xs)</CODE> <P> <CODE>Xs</CODE> is the sorted list of all the variables in <CODE>Term</CODE>. </DL> <P> <A NAME="IDX4624"></A> <A NAME="IDX4625"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>varsbag/3:</B> <DD><A NAME="IDX4626"></A> <P> <CODE>varsbag(Term, Vs, Xs)</CODE> <P> <CODE>Vs</CODE> is the list of all the variables in <CODE>Term</CODE> ordered as they appear in <CODE>Term</CODE> right-to-left depth-first (including duplicates) plus <CODE>Xs</CODE>. </DL> <P> <A NAME="IDX4627"></A> <A NAME="IDX4628"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>varset_in_args/2:</B> <DD><A NAME="IDX4629"></A> <P> <STRONG>Usage:</STRONG> <CODE>varset_in_args(T, LL)</CODE> <UL> <LI><EM>Description:</EM> Each list of <CODE>LL</CODE> contains the variables of an argument of <CODE>T</CODE>, for each argument, and in left to right order. <LI><EM>The following properties should hold at call time:</EM> <CODE>T</CODE> is currently a term which is not a free variable. (<CODE>term_typing:nonvar/1</CODE>) <LI><EM>The following properties should hold upon exit:</EM> <CODE>LL</CODE> is a list of <CODE>list(var)</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_81.html">previous</A>, <A HREF="ciao_83.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>