TCLP est un type préscriptif système pour la programmation de logique de contrainte, actuel :

OIN-Prolog
GNU-Prolog
Prolog de Sicstus et ses bibliothèques
Bibliothèques de programmes de Contraints de Prolog de Sicstus

Basé sur des régimes tapants de logique de contrainte par François Fages et Emmanuel Coquery. Tourillon de théorie et de pratique de la programmation de logique TPLP 1 (6)., Pp. 751-777. Novembre 2001. Procurable comme picoseconde.

TCLP emploie le genre 3 de polymorphisme :

polymorphisme paramétrique (par exemple : liste (A))
subtyping (par exemple : liste (A) < condition)
surcharge (également appelée le polymorphisme ad-hoc)
par exemple : - /2 peut avoir le type international * international - > international et taper A * B - > les paires (A, B)

Utilisable :

Aucun type déclaration n'a exigé !
taper l'inférence pour des attributs
types de défaut pour des symboles de fonctionnement
Extensible à d'autres dialectes par la fourniture tape pour établir-Institut central des statistiques

TCLP est mis en application dans Prolog/CHR.

Ce qu'il y a de neuf dans ce desserrage :

· Ce desserrage a ajouté la possibilité pour ajouter le type pseudonymes.
· C'est-à-dire, pour déclarer et employer des noms comme les raccourcis pour saisit le type déclarations.