Description opératoire d'interprètes Prolog complets en termes de manipulation de l'histoire de la démonstration

par Vincenzo Loia

Thèse de doctorat en Mathématiques. Informatique

Sous la direction de Jean-François Perrot.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette thèse propose une nouvelle stratégie d'implémentation pour les interprètes Prolog et leur environnement de mise au point. En utilisant des mécanismes de manipulation de l'histoire d'un calcul, nous présentons plusieurs implémentations d'interprètes Prolog caractérises par l'application de l'histoire de la démonstration Prolog sur l'histoire d'un calcul Lisp. La mise en œuvre des interprètes Prolog a été effectuée suivant la technique de taylorisation pour permettre une évolution modulaire de l'interprète de base. La taylorisation est une technique qui permet, grâce aux parasites, de spécialiser un programme existant. Après avoir défini le noyau de notre interprète, nous démontrons comment son développement, effectue par l'introduction des optimisations mémoire, par l'introduction du prédicat "geler" et par l'inclusion d'un environnement de mise au point complet, se déduit de façon naturelle, c'est-a-dire sans modification structurelle

  • Titre traduit

    An operational description of complete prolog interpreters based on the manipulation of the history of a computation


  • Pas de résumé disponible.

Autre version

Description opératoire d'interprètes Prolog complets en termes de manipulation de l'histoire de la démonstration


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (182 p.)
  • Annexes : Bibliogr., 103 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1989 620
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
Cette thèse a donné lieu à 1 publication .

Consulter en bibliothèque

à

Informations

  • Sous le titre : Description opératoire d'interprètes Prolog complets en termes de manipulation de l'histoire de la démonstration
  • Détails : 1 vol. (182 p.)
  • Annexes : Bibliogr., 103 réf.
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.