Outils de la page

Piste:

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision 		Révision précédente
research:tclp:start [2012/11/20 17:40]
ecoquery créée 		research:tclp:start [2012/11/22 16:44] (Version actuelle)
ecoquery [What is TCLP ?]
Ligne 1: Ligne 1:
 +~~NOTOC~~
 +
 {{ :research:tclp:tclp-logo.jpg?nolink |TCLP}} {{ :research:tclp:tclp-logo.jpg?nolink |TCLP}}
  
Ligne 12: Ligne 14:
     * subtyping (e.g. : //list(A) < term//)     * subtyping (e.g. : //list(A) < term//)
     * overloading (also called adhoc polymorphism)\\ e.g.: ''<nowiki>'-'/2</nowiki>'' can have type //int * int -> int// and type //A * B -> pair(A,B)//     * overloading (also called adhoc polymorphism)\\ e.g.: ''<nowiki>'-'/2</nowiki>'' can have type //int * int -> int// and type //A * B -> pair(A,B)//
 +  - Usable:
 +    * No type declaration required !
 +      * type inference for predicates
 +      * default types for function symbols
 +    * Extensible to other dialects by providing types for built-ins
 +
 +TCLP is implemented in Prolog/CHR.
 +
 +[[download|Download]]
 +
 +[[http://liris.cnrs.fr/~ecoquery/tclp/doc.html|Documentation]]
 +
 +Note: the online demo does not work anymore.
 +===== What's new ? =====
 +
 +==== 2006-07-20 ====
 +
 +[[http://liris.cnrs.fr/~ecoquery/tclp/download.html|TCLP 0.4.4]] introduces type aliases.
 +
 +
 +==== 2005-05-25 ====
 +[[http://liris.cnrs.fr/~ecoquery/tclp/download.html|TCLP 0.4.3]] & fixed the online demo.
 +==== 2004-11-16 ====
 +[[http://liris.cnrs.fr/~ecoquery/tclp/download.html|TCLP 0.4.2]]
 +==== 2004-02-27 ====
 +[[http://liris.cnrs.fr/~ecoquery/tclp/download.html|TCLP 0.4.1]]
 +==== 2004-01-27 ====
 +TCLP 0.4 is [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|here]] !
 +==== 2004-01-23 ====
 +Pre 0.4 release: [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|0.3f]]
 +==== 2003-09-25 ====
 +Fixed binary for MacOSX without sicstus installed available [[http://liris.cnrs.fr/~ecoquery/tclp/download.htmltclp-macosx-Darwin-0.3c.tgz|here]].
 +      
 +==== 2003-06-02 ====
 +Bugfix realease: [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|0.3b]]
 +==== 2002-10-31 ====
 +  * New version of the <a href="doc.html" shape="rect">documentation]]
 +  * New version of TCLP: [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|0.3]]
 +  * ppc / Darwin (MacOS X) port
 +==== 2002-09-04 ====
 +TCLP version 0.2.99g [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|here]]
 +==== 2002-06-26 ====
 +TCLP version 0.2.99e [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|here]]
 +==== 2002-06-18 ====
 +TCLP version 0.2.99d [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|here]]
 +==== 2002-04-24 ====
 +TCLP version 0.2.99, entirely rewritten in Prolog/CHR, with handling of overloading. 
 +
 +Download [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|here]], have a look at the [[http://liris.cnrs.fr/~ecoquery/tclp/doc.html|documentation]].
 +==== 2001-12-06 ====
 +Bugfix version [[http://liris.cnrs.fr/~ecoquery/tclp/download.html|0.2.1]]
 +      
 +==== 2001-11-05 ====
 +
 +New version 0.2
 +
 +Updated the web site, including a new [[http://liris.cnrs.fr/~ecoquery/tclp/doc.html|documentation section]].
 +
 +Included an install script
 +Changed the options in the web interface (see the [[http://liris.cnrs.fr/~ecoquery/tclp/exemples/demo.html|demo]])
 +      
 +==== April 2001 ====
 +Initial version of TCLP (version 0.1)
  
-<html> 
-    <ol> 
-      <li>A prescriptive type system for Constraint Logic  
-      Programming, currently: 
-      </li> 
-      <li>  
-      <p>TCLP uses 3 kind of polymorphism:</p> 
-      <ul> 
-        <li>parametric polymorphism (e.g. : <em>list(A)</em>)</li> 
-        <li>subtyping (e.g. : <em> list(A) &lt; term</em>)</li> 
-        <li>overloading (also called adhoc polymorphism)<br clear="none"/> 
-        e.g.: <tt>'-'/2</tt> can have type  
-        <em>int * int -&gt; int</em> and  
-        type <em>A * B -&gt; pair(A,B)</em> 
-        </li> 
-      </ul> 
-      </li> 
-      <li>Usable: 
-      <ul> 
-        <li>No type declaration required ! 
-        <ul> 
-          <li>type inference for predicates</li> 
-          <li>default types for function symbols</li> 
-        </ul> 
-        </li> 
-        <li>Extensible to other dialects by providing types for  
-        built-ins 
-        </li> 
-      </ul> 
-      </li> 
-    </ol> 
-    TCLP is implemented in Prolog/CHR. 
-    <h3>What's new</h3> 
-    <dl> 
-      <dt><strong>2006-07-20</strong></dt> 
-      <dd><a href="download.html" shape="rect">TCLP 0.4.4</a> introduces type aliases. 
-      </dd> 
-      <dt><strong>2005-05-25</strong></dt> 
-      <dd><a href="download.html" shape="rect">TCLP 0.4.3</a> &amp; fixed the online demo. 
-      </dd> 
-      <dt><strong>2004-11-16</strong></dt> 
-      <dd><a href="download.html" shape="rect">TCLP 0.4.2</a></dd> 
-      <dt><strong>2004-02-27</strong></dt> 
-      <dd><a href="download.html" shape="rect">TCLP 0.4.1</a></dd> 
-      <dt><strong>2004-01-27</strong></dt> 
-      <dd>TCLP 0.4 is <a href="download.html" shape="rect">here</a> !</dd> 
-      <dt><strong>2004-01-23</strong></dt> 
-      <dd>Pre 0.4 release: <a href="download.html" shape="rect">0.3f</a></dd> 
-      <dt><strong>2003-09-25</strong></dt> 
-      <dd>Fixed binary for MacOSX without sicstus installed available 
-      <a href="../files/tclp-macosx-Darwin-0.3c.tgz" shape="rect">here</a>. 
-      </dd> 
-      <dt><strong>2003-06-02</strong></dt> 
-      <dd>Bugfix realease: <a href="download.html" shape="rect">0.3b</a></dd> 
-      <dt><strong>2002-10-31</strong></dt> 
-      <dd> 
-        <ul> 
-          <li>New version of the <a href="doc.html" shape="rect">documentation</a></li> 
-          <li>New version of TCLP: <a href="download.html" shape="rect">0.3</a></li> 
-          <li>ppc / Darwin (MacOS X) port</li> 
-        </ul> 
-      </dd> 
-      <dt><strong>2002-09-04</strong></dt> 
-      <dd><p>TCLP version 0.2.99g <a href="download.html" shape="rect">here</a></p></dd> 
-      <dt><strong>2002-06-26</strong></dt> 
-      <dd><p>TCLP version 0.2.99e <a href="download.html" shape="rect">here</a></p></dd> 
-      <dt><strong>2002-06-18</strong></dt> 
-      <dd><p>TCLP version 0.2.99d <a href="download.html" shape="rect">here</a></p></dd> 
-      <dt><strong>2002-04-24</strong></dt> 
-      <dd> 
-        <p>TCLP version 0.2.99, entirely 
-        rewritten in Prolog/CHR, with handling of overloading.  
-        </p> 
-        <p>Download 
-        <a href="download.html" shape="rect">here</a>, have a look at the  
-        <a href="doc.html" shape="rect">documentation</a>. 
-        </p> 
-      </dd> 
-      <dt><strong>2001-12-06</strong></dt> 
-      <dd> 
-        <p>Bugfix version <a href="download.html" shape="rect">0.2.1</a></p> 
-      </dd> 
-      <dt><strong>2001-11-05</strong></dt> 
-      <dd> 
-        <p>New version 0.2</p> 
-        <p>Updated the web site, including a new  
-        <a href="doc.html" shape="rect">documentation section</a>. 
-        </p> 
-        <p>Included an install script.</p> 
-        <p>Changed the options in the web interface  
-        (see the <a href="exemples/demo.html" shape="rect">demo</a>). 
-        </p> 
-      </dd> 
-      <dt><strong>April 2001</strong></dt> 
-      <dd><p>Initial version of TCLP (version 0.1)</p></dd> 
-    </dl> 
-</html> 
CC Attribution-Noncommercial-Share Alike 3.0 Unported Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 3.0 Unported
research/tclp/start.1353429655.txt.gz · Dernière modification: 2012/11/20 17:40 de ecoquery Haut de page