TARSKI, une machine parallèle pour implanter des extensions de PROLOG

• Auteur / Autrice : Jean-Marc Alliot
• Direction : Luis Fariñas del Cerro
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Systèmes experts (informatique)

Commande, Théorie de la

Programmation orientée objets (informatique)

Programmation parallèle (informatique)

Prolog (langage de programmation)

Résumé

Prolog est parfaitement adapte au traitement des clauses de horn mais ne permet pas de traiter naturellement les problemes lies a la deduction pour les logiques non-classiques, les theories equationnelles, les predicats flous. Tous ces differents cas reclament des moyens differents de calculer un nouveau but a partir du but courant. Nous definissons dans cette these un mecanisme general permettant de developper des extensions de prolog: reecriture complete des mecanismes d'ingerences et developpement d'un nouveau formalisme permettant de traiter des clauses de horn generalisees; developpement d'une machine abstraite pour implanter des regles de resolution parametrables; etude et implantation du parallelisme