Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1119.pdf (1.44 Mo) Télécharger le fichier

Dates and versions

inria-00075440 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075440 , version 1

Cite

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⟩
110 View
61 Download

Share

Gmail Facebook Twitter LinkedIn More