Equator : un langage de programmation logique type fonde sur l'unification equationnelle

Equator: a typed logic programming language based on equatorial unification

• Auteur / Autrice : THIERRY CONRAD
• Direction : Yves Kodratoff
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 11

Résumé

L'arrivee de prolog a constitue une avancee majeure dans le domaine des langages de programmation. Dans sa version de base, ce langage souffre toutefois de la pauvrete de son environnement de programmation. L'idee a la base de ce travail est d'etendre prolog de facon a le rendre plus sur et plus efficace. Nous pensons avoir contribue de facon originale a la realisation de cette idee grace a une technique baptisee typage equationnel. Cette approche a pour caracteristique essentielle d'unifier et donc de simplifier au maximum les concepts utilises. Nous exposons en detail nos motivations en enumerant un certain nombre de points constituant les faiblesses de prolog. Nous degageons de cela une idee directrice centree sur le typage qui doit permettre d'apporter des solutions de facon homogene. Nous decrivons le langage qui servira de support aux enrichissements proposes. Ce langage qui est un sur-ensemble de prolog est fonde sur la notion d'unification equationnelle. Le typage equationnel est defini et les proprietes de polymorphisme du langage sont etudiees. Un module d'inference de types qui complete notre systeme est egalement decrit. Nous proposons des exemples d'application et decrivons en detail une implementation du langage