<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 - Higher-order</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_96.html">previous</A>, <A HREF="ciao_98.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="SEC402" HREF="ciao_toc.html#TOC402">Higher-order</A></H1> <P> <A NAME="IDX5273"></A> <P> <STRONG>Author(s):</STRONG> Daniel Cabeza Gras. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#226 (2003/12/22, 16:47:31 CET) <P> This module is a wrapper to the implementation defined predicate <A NAME="IDX5274"></A> <CODE>call/2</CODE> <UL> <LI><A HREF="ciao_97.html#SEC403">Usage and interface (hiord_rt)</A> <LI><A HREF="ciao_97.html#SEC404">Documentation on exports (hiord_rt)</A> </UL> <H2><A NAME="SEC403" HREF="ciao_toc.html#TOC403">Usage and interface (<CODE>hiord_rt</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(hiord_rt)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX5275"></A> <CODE>call/2</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC404" HREF="ciao_toc.html#TOC404">Documentation on exports (<CODE>hiord_rt</CODE>)</A></H2> <P> <A NAME="IDX5276"></A> <A NAME="IDX5277"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>call/2:</B> <DD><A NAME="IDX5278"></A> <P> <CODE>call(Pred, Arg1)</CODE> <P> There exists a set of builtin predicates of the form <A NAME="IDX5279"></A> <CODE>call/N</CODE> with <CODE>N > 1</CODE> which execute predicate <CODE>Pred</CODE> given arguments <CODE>Arg1</CODE> ... <CODE>ArgX</CODE>. If <CODE>Pred</CODE> has already arguments <CODE>Arg1</CODE> is added to the start, the rest to the end. This predicate, when <CODE>Pred</CODE> is a variable, can be written using the special Ciao syntax <CODE>Pred(Arg1,...,ArgX)</CODE>. </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_96.html">previous</A>, <A HREF="ciao_98.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>