Participants : Olivier Ridoux
Prolog est un
langage très riche qui peut déconcerter un programmeur novice. On
peut aussi se demander si les extensions apportées dans le
domaine des formules comme dans celui des termes sont nécessaires
simultanément et si des langages intermédiaires intéressants ne
pourraient pas être définis, au moins dans un but pédagogique.
Nous avons étudié cette question en montrant que des liens de
nécessité conduisent à adopter toutes les extensions à partir du
moment où le langage des termes de Prolog est étendu à celui des
-termes simplement
typés et où l'
-équivalence est intégrée à la théorie de l'égalité.
De cette reconstruction découle une heuristique de programmation
par induction sur les types qui peut servir de guide pour la
programmation en 
Prolog [2,18]. Ce travail
s'effectue en collaboration avec Catherine Belleannée du projet
Repco de l'Irisa et Pascal Brisset de l'École Nationale de
l'Aviation Civile.