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

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

• Auteur / Autrice : Vincenzo Loia
• Direction : Jean-François Perrot
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques. Informatique
• Date : Soutenance en 1989
• Etablissement(s) : Paris 6

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