Hal will be stopped for maintenance from friday on june 10 at 4pm until monday june 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI

Pascal Brisset 1
1 MALI - Mise en oeuvre des langages de programmation logique
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075440
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:13:01 PM
Last modification on : Friday, February 4, 2022 - 3:25:18 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 6:58:09 PM

Identifiers

  • HAL Id : inria-00075440, version 1

Citation

Pascal Brisset. Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. [Rapport de recherche] RR-1119, INRIA. 1989. ⟨inria-00075440⟩

Share

Metrics

Record views

104

Files downloads

60