Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > by-pkgid > 2fc07611b08d4a735fd34d5eb60d8e16 > files > 2275

ciao-1.10p8-3mdv2010.0.i586.rpm

<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               - PART VII - Ciao Prolog extensions</TITLE>
</HEAD>
<BODY> 
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_93.html">previous</A>, <A HREF="ciao_95.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="SEC395" HREF="ciao_toc.html#TOC395">PART VII - Ciao Prolog extensions</A></H1>

<P>
<STRONG>Author(s):</STRONG> The CLIP Group.


<P>
The libraries documented in this part extend the Ciao language in several different ways. The extensions include: 

<UL>
<LI>

<A NAME="IDX5236"></A>
pure Prolog programming (well, this can be viewed more as a restriction than an extension); 
<LI>

<A NAME="IDX5237"></A>
feature terms or 
<A NAME="IDX5238"></A>
<A NAME="IDX5239"></A>
<EM>records</EM> (i.e., structures with names for each field); 
<LI>

<A NAME="IDX5240"></A>
parallel programming (e.g., &#38;-Prolog style); 
<LI>

<A NAME="IDX5241"></A>
functional syntax; 
<LI>

<A NAME="IDX5242"></A>
higher-order library; 
<LI>

<A NAME="IDX5243"></A>
global variables; 
<LI><CODE>setarg</CODE> and <CODE>undo</CODE>;

<LI>

<A NAME="IDX5244"></A>
delaying predicate execution; 
<LI>

<A NAME="IDX5245"></A>
active modules; 
<LI>

<A NAME="IDX5246"></A>
breadth-first execution; 
<LI>

<A NAME="IDX5247"></A>
iterative deepening-based execution; 
<LI>

<A NAME="IDX5248"></A>
constraint logic programming; 
<LI>

<A NAME="IDX5249"></A>
object oriented programming. 
</UL>

<P><HR><P>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_93.html">previous</A>, <A HREF="ciao_95.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
</BODY>
</HTML>