TCLP 0.4.4

TCLP is a type checker for Prolog dialects.
TCLP
  2 Screenshots
TCLP is a prescriptive type system for Constraint Logic Programming, currently:

ISO-Prolog
GNU-Prolog
Sicstus Prolog and its libraries
Contraints programming libraries of Sicstus Prolog

Based on Typing Constraint Logic Programs by François Fages and Emmanuel Coquery. Journal of Theory and Practice of Logic Programming TPLP 1(6)., pp. 751-777. November 2001. Available as ps.

TCLP uses 3 kind of polymorphism:

parametric polymorphism (e.g. : list(A))
subtyping (e.g. : list(A) < term)
overloading (also called adhoc polymorphism)
e.g.: '-'/2 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.

What's New in This Release:

· This release added the possibility to add type aliases.
· That is, to declare and use names as shortcuts for types in type declarations.

last updated on:
August 31st, 2006, 17:49 GMT
price:
FREE!
homepage:
www710.univ-lyon1.fr
license type:
LGPL (GNU Lesser General Public License) 
developed by:
Emmanuel Coquery
category:
ROOT \ Programming \ Bug Tracking
TCLP
Download Button

In a hurry? Add it to your Download Basket!

user rating 1

3.0/5
 

0/5

Rate it!
2 Screenshots
TCLP

Add your review!

SUBMIT