Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1990

Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique

Résumé

L'apparition d'interprètes sur de gros systèmes, tels Prolog-Dec10, puis des premiers compilateurs Prolog basés sur le fonctionnement de la machine virtuelle de Warren contribuèrent à la renommée du langage ainsi qu'a sa diffusion dans les universités puis l'industrie comme un puissant langage de l'Intelligence Artificielle [Warren-77, 83]. Le langage Prolog est fondé sur une restriction de la logique du premier ordre : l'ensemble des clauses de Horn. Le fait d'utiliser la logique du premier ordre comme langage de programmation était révolutionnaire parce que, jusqu'en 1972, une des utilisations de la logique en informatique était pour écrire des spécifications formelles et déclaratives. Kowalski nous montre dans son papier sur ce langage [Kowalski-74] que la logique des clauses de Horn possède une interprétation opérationnelle qui la rend très efficace comme fondement d'un langage de programmation, puis il effectue une preuve de la complétude de la méthode de dérivation sur laquelle se fondent tous les interprètes Prolog. De plus, la définition d'une sémantique formelle d'un langage de programmation logique [Emden-Kowalski-76] permet de définir une sémantique du point fixe pour les programmes utilisant les clauses de Hom comme syntaxe formelle, mais elle permet aussi de démontrer qu'elle était identique au modèle minimal d'une sémantique opérationnelle. Cet aspect est aussi étudié dans le cadre de la norme Prolog en cours de rédaction [Deransart&all-85].
No abstract
Fichier principal
Vignette du fichier
1990_Debarbieri_Christian.pdf (10.69 Mo) Télécharger le fichier

Dates et versions

tel-00831323 , version 1 (06-06-2013)

Identifiants

  • HAL Id : tel-00831323 , version 1

Citer

Christian Debarbieri. Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique. Intelligence artificielle [cs.AI]. Ecole Nationale Supérieure des Mines de Saint-Etienne; Université Jean Monnet - Saint-Etienne, 1990. Français. ⟨NNT : ⟩. ⟨tel-00831323⟩
183 Consultations
370 Téléchargements

Partager

Gmail Facebook X LinkedIn More