Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI
Résumé
Nous présentons ici une implémentation d'un langage de programmation logique inspiré de l-Prolog. Ce langage, comme Prolog, utilise la résolution mais à la différence de ce dernier, manipule des termes d'ordre supérieur codés par des l-termes types. Pour cela, l'algorithme d'unification des termes d'ordre supérieur de Huet est employé. Un compilateur a été développé. Il génère du code utilisant la machine intermédiaire MALI.