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

Cette thèse a donné lieu à une publication

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\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque 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

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1989PA066620
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication

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\u00a0?

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