Result: Surcharge et sous-typage dans TCLP / Overloading and subtyping in TCLP
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Further Information
Ce papier est la suite de nos travaux précédents sur le système de type TCLP pour les programmes logiques avec contraintes. Ici, nous introduisons la surcharge dans TCLP et décrivons une nouvelle implantation de TCLP dans le langage des Constraint Handling Rules CHR. La surcharge d'opérateur, c'est à dire la possibilité de donner plusieurs types à un même symbole, permet d'éviter des relations de sous-typage comme les entiers sous-type des flottants, qui ne sont pas fidèles au comportement de certains prédicats, par exemple l'unification entre un entier et sa représentation flottante échoue en ISO Prolog. Nous décrivons une nouvelle implantation de TCLP en Prolog et CHR, où la surcharge est résolue par backtracking avec le principe Andorra. Les résultats expérimentaux montrent que cette nouvelle implantation est à la fois plus rapide, grâce aux simplifications par unification des variables de type en CHR, et plus précise, car la surcharge permet d'augmenter le pourcentage de types inférés exacts.