Étude et réalisation d'un langage objet : lore

Studies in object-oriented programming : the lore langage

• Auteur / Autrice : Yves Caseau
• Direction : Gérard Guiho
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1987
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : Autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
• Jury : Président / Présidente : Jacques-Louis Lions
• Jury : Examinateurs / Examinatrices : Jacques-Louis Lions, Gérard Guiho, Guy Cousineau, Michel Gondran, Jean-Pierre Jouannaud

Mots clés

Mots clés contrôlés

Systèmes experts (informatique)

Intelligence artificielle

Mots clés libres

Langage orienté objet

Méthode algébrique

Programmation logique

Résumé

Le travail se décompose en deux parties théoriques, consacrées respectivement à un modèle mathématique de la programmation par objet et a une théorie algébrique de la résolution des clauses logiques et séparées par une partie plus pratique sur la réalisation du langage lore. La sémantique du langage Lore et de son compilateur sont ensuite présentes. La dernière partie du travail est consacrée aux principes de la résolution algébrique. Cette méthode consiste à représenter des règles logiques par les termes d'une algèbre relationnelle. La notion de différenciation est ainsi introduite. Il est enfin montre que la stratégie de résolution proposée est valide et complète