Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
research:tclp:start [2012/11/20 17:40] ecoquery créée |
research:tclp:start [2012/11/22 16:44] ecoquery [What is TCLP ?] |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | ~~NOTOC~~ | ||
+ | |||
{{ : | {{ : | ||
Ligne 12: | Ligne 14: | ||
* subtyping (e.g. : //list(A) < term//) | * subtyping (e.g. : //list(A) < term//) | ||
* overloading (also called adhoc polymorphism)\\ e.g.: ''< | * overloading (also called adhoc polymorphism)\\ e.g.: ''< | ||
+ | - 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:// | ||
+ | |||
+ | Note: the online demo is no longer functionnal. | ||
+ | ===== What's new ? ===== | ||
+ | |||
+ | ==== 2006-07-20 ==== | ||
+ | |||
+ | [[http:// | ||
+ | |||
+ | |||
+ | ==== 2005-05-25 ==== | ||
+ | [[http:// | ||
+ | ==== 2004-11-16 ==== | ||
+ | [[http:// | ||
+ | ==== 2004-02-27 ==== | ||
+ | [[http:// | ||
+ | ==== 2004-01-27 ==== | ||
+ | TCLP 0.4 is [[http:// | ||
+ | ==== 2004-01-23 ==== | ||
+ | Pre 0.4 release: [[http:// | ||
+ | ==== 2003-09-25 ==== | ||
+ | Fixed binary for MacOSX without sicstus installed available [[http:// | ||
+ | | ||
+ | ==== 2003-06-02 ==== | ||
+ | Bugfix realease: [[http:// | ||
+ | ==== 2002-10-31 ==== | ||
+ | * New version of the <a href=" | ||
+ | * New version of TCLP: [[http:// | ||
+ | * ppc / Darwin (MacOS X) port | ||
+ | ==== 2002-09-04 ==== | ||
+ | TCLP version 0.2.99g [[http:// | ||
+ | ==== 2002-06-26 ==== | ||
+ | TCLP version 0.2.99e [[http:// | ||
+ | ==== 2002-06-18 ==== | ||
+ | TCLP version 0.2.99d [[http:// | ||
+ | ==== 2002-04-24 ==== | ||
+ | TCLP version 0.2.99, entirely rewritten in Prolog/CHR, with handling of overloading. | ||
+ | |||
+ | Download [[http:// | ||
+ | ==== 2001-12-06 ==== | ||
+ | Bugfix version [[http:// | ||
+ | | ||
+ | ==== 2001-11-05 ==== | ||
+ | |||
+ | New version 0.2 | ||
+ | |||
+ | Updated the web site, including a new [[http:// | ||
+ | |||
+ | Included an install script | ||
+ | Changed the options in the web interface (see the [[http:// | ||
+ | | ||
+ | ==== April 2001 ==== | ||
+ | Initial version of TCLP (version 0.1) | ||
- | < | ||
- | <ol> | ||
- | <li>A prescriptive type system for Constraint Logic | ||
- | Programming, | ||
- | </li> | ||
- | < | ||
- | < | ||
- | <ul> | ||
- | < | ||
- | < | ||
- | < | ||
- | e.g.: < | ||
- | < | ||
- | type <em>A * B -> pair(A, | ||
- | </li> | ||
- | </ul> | ||
- | </li> | ||
- | < | ||
- | <ul> | ||
- | < | ||
- | <ul> | ||
- | < | ||
- | < | ||
- | </ul> | ||
- | </li> | ||
- | < | ||
- | built-ins | ||
- | </li> | ||
- | </ul> | ||
- | </li> | ||
- | </ol> | ||
- | TCLP is implemented in Prolog/CHR. | ||
- | < | ||
- | <dl> | ||
- | < | ||
- | < | ||
- | </dd> | ||
- | < | ||
- | < | ||
- | </dd> | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | <a href=" | ||
- | </dd> | ||
- | < | ||
- | < | ||
- | < | ||
- | <dd> | ||
- | <ul> | ||
- | < | ||
- | < | ||
- | < | ||
- | </ul> | ||
- | </dd> | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | < | ||
- | <dd> | ||
- | < | ||
- | rewritten in Prolog/CHR, with handling of overloading. | ||
- | </p> | ||
- | < | ||
- | <a href=" | ||
- | <a href=" | ||
- | </p> | ||
- | </dd> | ||
- | < | ||
- | <dd> | ||
- | < | ||
- | </dd> | ||
- | < | ||
- | <dd> | ||
- | < | ||
- | < | ||
- | <a href=" | ||
- | </p> | ||
- | < | ||
- | < | ||
- | (see the <a href=" | ||
- | </p> | ||
- | </dd> | ||
- | < | ||
- | < | ||
- | </dl> | ||
- | </ |