Identifiant pérenne de la notice : 213308517
Notice de type
Notice de regroupement
Note publique d'information : 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
paprika.idref.fr
data.idref.fr
Documentation
