Analyse syntaxique et interpretation de clauses de horn

par IRENE FOUCHEROT

Thèse de doctorat en Sciences appliquées

Sous la direction de F. JACQUENET.

Soutenue en 1995

à Dijon .

    mots clés mots clés


  • Résumé

    Please est un systeme permettant d'evaluer des programmes en clauses de horn pures en utilisant des algorithmes de generation d'analyseurs syntaxiques lr. Ce systeme permet a l'utilisateur d'ecrire ses programmes de facon totalement declarative, ce qu'il ne peut pas faire avec un systeme prolog classique. Notre systeme integre des predicats predefinis d'entree/sortie et de manipulation dynamique de clauses qui conservent son caractere declaratif et prennent en compte la coherence du programme. De tels predicats ont pu etre ajoutes grace a l'adaptation d'algorithmes de generation incrementale d'analyseurs. Nous avons defini une semantique operationnelle de notre systeme dans le langage des clauses de horn augmentees de la negation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 240 P.
  • Annexes : 102 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bourgogne. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.