Un modèle objet logique et relationnel : le langage Othelo

Cette these a pour but d'integrer dans un systeme unique certains resultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce systeme est alors capable de modeliser les connaissances du monde exterieur dans un formalisme permettant de les manipuler symboliquement. Cette these est constituee de trois parties principales. Definition d'un modele objet abstrait dans lequel les operations elementaires sous-jacentes aux mecanismes mis en œuvre dans un langage a objets (creation, heritage, envoi de message) sont redefinissables par un programmeur. Un langage issu de ce modele peut autoriser : la creation d'objets de structures internes differentes pouvant communiquer entre eux ; la definition de modes d'heritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inference declarative au modele objet. Le langage Othello est une implantation en Prolog du modele abstrait dans laquelle les principaux mecanismes ont ete reconsideres afin d'attribuer aux objets des comportements logiques. Citons : la definition de methodes polymorphes, l'envoi de message a objets anonymes, des combinaisons et du controle sur les methodes dans un graphe d'heritage et des capacites intrinseques a raisonner. Aspect relationnel de la connaissance. L’idee est d'utiliser l'approche objet pour decrire un langage de relations et ainsi faciliter l'expression des relations de dependance et le maintien automatique de leur coherence. Une des originalites de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour retablir de facon incrementale la coherence. Les liens de la hierarchie proposee permettent de decrire les relations d'heritage et d'implanter une interface graphique. Une quatrieme partie illustre ce travail par une application en thermique