<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 - Term manipulation utilities</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_79.html">previous</A>, <A HREF="ciao_81.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="SEC342" HREF="ciao_toc.html#TOC342">Term manipulation utilities</A></H1> <P> <A NAME="IDX4581"></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#218 (2003/12/21, 18:44:51 CET) <P> This module implements some utils to do term manipulation. <UL> <LI><A HREF="ciao_80.html#SEC343">Usage and interface (terms)</A> <LI><A HREF="ciao_80.html#SEC344">Documentation on exports (terms)</A> </UL> <H2><A NAME="SEC343" HREF="ciao_toc.html#TOC343">Usage and interface (<CODE>terms</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(terms)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX4582"></A> <CODE>copy_args/3</CODE>, <A NAME="IDX4583"></A> <CODE>arg/2</CODE>, <A NAME="IDX4584"></A> <CODE>atom_concat/2</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC344" HREF="ciao_toc.html#TOC344">Documentation on exports (<CODE>terms</CODE>)</A></H2> <P> <A NAME="IDX4585"></A> <A NAME="IDX4586"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>copy_args/3:</B> <DD><A NAME="IDX4587"></A> <P> <STRONG>Usage:</STRONG> <CODE>copy_args(N, Term, Copy)</CODE> <UL> <LI><EM>Description:</EM> <CODE>Term</CODE> and <CODE>Copy</CODE> have the same first <CODE>N</CODE> arguments. <LI><EM>The following properties should hold at call time:</EM> <CODE>N</CODE> is a non-negative integer. (<CODE>basic_props:nnegint/1</CODE>) </UL> </DL> <P> <A NAME="IDX4588"></A> <A NAME="IDX4589"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>arg/2:</B> <DD><A NAME="IDX4590"></A> <P> <STRONG>Usage:</STRONG> <CODE>arg(Term, Arg)</CODE> <UL> <LI><EM>Description:</EM> <CODE>Arg</CODE> is an argument of <CODE>Term</CODE>. Gives each of the arguments on backtracking. </UL> </DL> <P> <A NAME="IDX4591"></A> <A NAME="IDX4592"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>atom_concat/2:</B> <DD><A NAME="IDX4593"></A> <P> <CODE>atom_concat(Atms, Atm)</CODE> <P> <CODE>Atm</CODE> is the atom resulting from concatenating all atoms in the list <CODE>Atms</CODE> in the order in which they appear. </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_79.html">previous</A>, <A HREF="ciao_81.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>