TCLP 0.4.4

TCLP is a type checker for Prolog dialects.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
LGPL (GNU Lesser General Public License) 
USER RATING:
3.0/5 1
DEVELOPED BY:
Emmanuel Coquery
HOMEPAGE:
www710.univ-lyon1.fr
CATEGORY:
ROOT \ Programming \ Bug Tracking
2 TCLP Screenshots:
TCLPTCLP
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

#type checker #Prolog dialects #Constraint Logic Programming #TCLP #type #checker #Prolog

Add your review!

SUBMIT