To see the other types of publications on this topic, follow the link: Prolog (langage de programmation).
Dissertations / Theses on the topic 'Prolog (langage de programmation)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Prolog (langage de programmation).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Morel, Eric. "Environnement de programmation parallèle : application au langage Prolog." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00346188.
Full textAbstract:
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus
2
Morel, Eric Briat Jacques. "Environnement de programmation parallèle application au langage Prolog /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00346188.
Full text
3
Morel, Éric. "Environnement de programmation parallèle : application au langage Prolog." Grenoble 1, 1996. https://theses.hal.science/tel-00346188/.
Full textAbstract:
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus
4
Faucher, Colette. "Elaboration d'un langage extensible fondé sur les schémas : le langage Objlog+." Aix-Marseille 3, 1991. http://www.theses.fr/1991AIX30039.
Full textAbstract:
L'objet de cette these est l'elaboration d'un langage extensible fonde sur les schemas et bati sur prolog, objlog+, dans lequel la notion de schema fait reference a une simple structure de donnees a trois niveaux champ-aspect-valeur, a laquelle aucune semantique du type schema generique/schema specifique n'est associee a priori. A chaque categorie du savoir peut etre associee une categorie de schemas dont la semantique est definie explicitement a posteriori. Les categories suivantes sont predefinies: schemas parametres, schemas non parametres, filtres, prototypes, instances, filtres parametres, etc. . . Objlog+ est entierement auto-referent, c'est-a-dire que toutes ses entites de base sont reifiees, en particulier les donnees specifiques de prolog, ce qui confere a objlog+ une certaine independance vis-a-vis de celui-ci. Objlog+ est extensible a la fois sur le plan structurel et sur le plan comportemental. Sur le plan structurel, il est possible de definir de nouvelles categories de schemas, ainsi que de nouveaux aspects dont la structure de controle est prise en charge automatiquement par le systeme. Sur le plan comportemental, la reification des messages permet de definir de nouveaux types d'envois de messages en tant que methodes. Enfin, objlog+ est implemente a l'aide d'un gestionnaire d'objets complexes ecrit en c, qui prend en charge le stockage et l'acces aux schemas d'objlog+, codifies sous forme d'objets du gestionnaire
5
Denis, François. "Contribution à l'étude des sémantiques axiomatiques de Prolog." Lille 1, 1990. http://www.theses.fr/1990LIL10170.
Full textAbstract:
La sémantique opérationnelle des programmes Prolog(définis) la plus fréquemment étudiée fait implicitement l'hypothèse que ces programmes sont évalués par des interpréteurs idéaux (en largeur d'abord et équitables). En conséquence, les résultats théoriques très complets qui ont été obtenus jusqu'à présent ne s'appliquent pas aux interpréteurs standard usuels. Nous définissons de nouvelles sémantiques opérationnelles, adaptées aux interpréteurs standards ou plus généralement, décrivant un noyau calculable quel que soit l'interpréteur envisagé. Nous montrons ensuite que ces sémantiques peuvent être caractérisées axiomatiquement ; ces résultats constituent donc une version plus réaliste et plus générale des résultats classiques. Nous avons utilisé, au cours de cette étude, une technique de dédoublement des symboles de prédicats dont nous avons étudié systématiquement les rapports avec la logique trivaluée. Nous avons également démontré des théorèmes de complétude en logiques bivaluée et trivaluée s'appliquant à des classes générales de programmes logiques (comprenant bon nombre des traductions axiomatiques rencontrées en programmation logique) dans le cadre de la Théorie Équationnelle de Clark.
6
Sherif, ahmed Howaida. "Multi-résolution de programmes PROLOG." Lille 1, 1995. http://www.theses.fr/1995LIL10019.
Full textAbstract:
L'accroissement des performances nécessaires au développement des applications en intelligence artificielle utilisant la programmation logique, notamment PROLOG, nécessite une accélération des temps d'exécution, pouvant être obtenue en séquentiel et en parallèle. Un des éléments caractéristiques du modèle d'exécution classique de PROLOG est le retour arrière. Dans les programmes non déterministes, à cause des échecs et des sorties de solutions, le retour arrière peut conduire à la répétition de certaines unifications. Des modèles ont déjà été proposés pour minimiser ou supprimer partiellement le retour arrière. Nous présentons un autre modèle d'exécution sans retour arrière profond, ou pour chaque sous-but de la résolvante, on recherche toutes les solutions possibles avant de traiter le sous-but suivant. Cette stratégie conduit à gérer des instanciations multiples de variables, c'est-à-dire une forme d'environnements multiples. Cette stratégie implique aussi que l'effacement des sous-buts se fasse en prenant en compte les instanciations multiples. On appelle cette stratégie le modèle de multi-résolution. La présence des environnements multiples offre des potentialités de parallélisme de données permettant l'exécution sur des machines parallèles, notamment SPMD. Le modèle a été validé par des simulations qui l'ont montré efficace pour certaines classes de programmes PROLOG aussi bien en séquentiel qu'en parallèle.
7
Janot, Stéphane. "Règles d'évaluation équitables en programmation logique." Lille 1, 1991. http://www.theses.fr/1991LIL10062.
Full textAbstract:
Les interpréteurs Prolog ne sont pas complets en général pour les échecs et pour les succès car ils sont basés sur un parcours de l'arbre de résolution en profondeur d'abord associé à une gestion des buts en pile. Cependant, la résolution SLD sur laquelle Prolog est basé est correcte et complète. L'utilisation d'une règle d'évaluation équitable―tout sous-but qui apparaît dans une dérivation infinie est effectivement sélectionné―permet d'obtenir tous les échecs finis et tous les succès finis d'un programme: s'il existe un arbre de dérivation SLD fini pour un programme P et un but B, alors tout arbre de dérivation équitable pour P et B est fini. Un interpréteur Prolog équitable permet donc d'éviter toutes les boucles liées à l'ordre d'évaluation des sous-buts. Nous étudions l'utilisation de règles d'évaluation équitables en Prolog, des aspects théoriques aux aspects pratiques. Deux modèles de règles d'évaluation équitables, Pile-indicée et Arbres-de-buts-indicés sont proposés. Ces stratégies de dérivation sont basées sur l'utilisation d'indices de dérivation pour contrôler l'ordre d'évaluation des sous-buts. Des implémentations efficaces de ces règles ont été réalisées. Les problèmes pratiques liés à l'utilisation d'un ordre d'évaluation différent sont pris en compte et nos interpréteurs équitables sont effectivement utilisables
8
Billaud, Michel. "Une formalisation des structures de contrôle de Prolog." Bordeaux 1, 1985. http://www.theses.fr/1985BOR10501.
Full textAbstract:
Dans ce travail nous presentons une formalisation des operateurs de controle de prolog. Cette formalisation permet l'etude de la strategie depth-first adoptee pour l'interpretation de ce langage, et notamment du role de l'operateur de coupure cut. Nous montrons que cet operateur cut peut etre elimine dans les programmes en clauses de horn au profit d'un nouvel operateur cond analogue a l'alternative si alors sinon des langages classiques. Cette formalisation nous permet egalement d'etablir une semantique du type point fixe pour prolog ; et d'indiquer un ensemble de regles de transformations de programmes. Enfin nous utilisons ce modele abstrait comme reference pour l'etude top-down d'un compilateur prolog
9
Zotian, Jean-Jacques. "Prolog en informatique de gestion." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37619336k.
Full text
10
Amraoui, Mohamed. "Une expérience de compilation de Prolog II sur MALI." Rennes 1, 1988. http://www.theses.fr/1988REN10056.
Full textAbstract:
Réalisation d'un compilateur du langage Prolog II qui utilise la version logicielle de MALI (Mémoire adaptée aux langages indéterministes). Ce compilateur est basé sur la définition d'un ensemble de pseudo instructions d'une machine abstraite. Ces pseudo instructions sont elles-mêmes définies par des commandes MALI. Des optimisations sont décrites qui remédient aux problèmes de consommation de mémoire et de vitesse d'exécution. Notamment : l'indexation des clauses ; le contrôle statique de la création et du parcours des termes ; le traitement particulier des prédicats évaluables, des prédicats déterministes et du premier but d'une queue de clause
11
Ezequel, Philippe. "Décomposition en programmation logique." Montpellier 2, 1990. http://www.theses.fr/1990MON20100.
Full textAbstract:
On étudie dans cette thèse la décomposition de programmes logiques, c'est-à-dire le fait qu'un programme puisse être découpé en sous-programmes de telle sorte que le résultat de l'exécution indépendante de chacun des sous-programmes soit équivalent à l'exécution du programme entier. A cet effet, une nouvelle description des programmes logiques (en termes d'ensembles de buts, les comportements) est donnée. On prouve qu'elle est équivalente aux sémantiques classiques. On en déduit de nouvelles conditions nécessaires et suffisantes d'équivalence et de décomposabilité des programmes logiques. Une étude plus approfondie des comportements montre que certains de leurs buts, appelés donc générateurs, engendrent les autres, et qu'ils suffisent pour décrire opérationnellement le programme. L'existence d'une relation entre décomposabilité et buts générateurs est enfin examinée
12
Cras, Jean-Yves. "Snail : une approche ensembliste pour l'intégration de types et fonctions en PROLOG." Paris 11, 1987. http://www.theses.fr/1987PA112323.
Full textAbstract:
Un nouveau paradigme de calcul appelé programmation ensembliste, est présente. La notion de programme ensembliste est définie et une théorie du modèle construite. Des règles d'inférence, correctes et complètes pour cette sémantique, sont données. Snail est une extension compatible de prolog dont la sémantique déclarative est celle de la programmation ensembliste
13
Benhamou, Frédéric, and Jean-Marc Boï. "Le traitement des contraintes booléennes dans PROLOG III." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX22059.
Full textAbstract:
Developpement d'un algorithme de resolution de contraintes booleennes suffisamment specifique pour etre integre au sein du prototype actuel de l'interpreteur prolog iii. Cette integration a provoque l'etude des problemes de coherence et de simplification d'un ensemble de clauses propositionnelles, ainsi que ceux lies a l'implantation de cet algorithme. Un certain nombre d'applications sont presentees
14
Legeard, Bruno. "Prototypage de logiciels avec le langage PROLOG : méthode et outils." Lyon, INSA, 1987. http://www.theses.fr/1987ISAL0043.
Full textAbstract:
Cette thèse aborde le problème de la validation et de la vérification de spécifications fonctionnelles en s'intéressant aux techniques du prototypage exploratoire de logiciels. Elle s'inscrit dans une remise en cause du modèle "en cascade" du processus de développement du logiciel et se situe au sein de l'approche opérationnelle. Les principaux résultats obtenus concernent la définition d'une démarche et d'outils associés pour l'élaboration de spécifications exécutables avec le langage PROLOG, utilisées comme un prototype exploratoire. Des éléments méthodologiques sont dégagés au travers : - d'un cycle du prototypage exploratoire, - de techniques de structuration. Des schémas d'écriture en PROLOG sont fournis pour permettre le contrôle du niveau d'abstraction des spécifications, au travers : - d'un style déclaratif, - de structures de données abstraites avec leurs opérateurs, - de formes de spécification. La démarche présentée inclut un ensemble de techniques pour la validation et la vérification : détection de contradictions, terminaison, … Enfin, nous prenons en compte le cas spécifique des Interfaces Homme /Ordinateur. Il s'agit de pouvoir spécifier de façon opérationnelle des interfaces interactives de bonne qualité, intégrant des modes d'interaction graphique avec multi-fenêtrage et désignation directe (souris). Nous présentons un cadre unifié pour le prototypage des traitements et des dialogues fondé sur la démarche de spécifications opérationnelles avec le langage PROLOG. Il s'appuie sur une approche graphique de la définition des objets et de la cinématique des interfaces de dialogue. Le cadre conceptuel et les outils proposés ne constituent pas un nouveau langage mais favorisent une maîtrise du niveau d'abstraction des spécifications opérationnelles à l'intérieur du langage PROLOG. En cela, ils cherchent à bénéficier des résultats de certains travaux menés par ailleurs sur la preuve, la transformation et la compilation de programmes PROLOG, ainsi que sur les environnements de programmation bâtis autour de ce langage<br>The subject of this thesis is how to validate and verity executable functional specifications using rapid prototyping techniques. The proposed approach is a part of the operational specification paradigm and modifies the conventional software lite-cycle. The main results concern the definition of a framework to develop executable specifications in almost "pure" PAOLOG and using these logic specifications as a rapid prototype. So, we present : - a rapid prototyping process and its impacts upon the whole software life-cycle, - a schema to structure prototypes, -a PROLOG programming style to increase declarativity, - validation and verification techniques. Then, we access the problem of computer-Human Interface design. We propose a sketch of an integrated environment for both dialogue and computational modules of interactive applications rapid prototyping. The specification of the dialogue syntax and lexical level is based on graphs tools. Examples and live industrial applications are carried along this thesis which was elaborated in a mere industrial context
15
Ladret, Didier. "Construction multistyle de prototypes exploratoires en Prolog : apports de la programmation visuelle et application à la négation." Nice, 1989. http://www.theses.fr/1989NICE4324.
Full textAbstract:
Le cadre de cette thèse est la manipulation de spécifications de logiciels sous la forme de prototypes exploratoires en Prolog. Un modèle multivue est introduit pour manipuler ce prototype de manière textuelle ou visuelle. L'utilisation des lois de la graphique de Bertin nous permet de proposer une représentation graphique qui se libère de beaucoup de contraintes textuelles et autorise une véritable programmation visuelle. La coopération entre les vues visuelle et textuelle est réalisée en adaptant à la structuration de prototypes Prolog des travaux de la structure mentale des images (théorie des codes duaux, théorie multicode). Chaque vue est proposée pour des classes de clauses Prolog ou son apport est optimal, mais une utilisation des deux vues en parallèle reste possible. Une approche multistyle de la négation permet la mise en œuvre d'une démarche pragmatique exploitant au mieux les résultats de différents travaux théoriques sur ce sujet. L’objectif est de permettre la construction d'un prototype Prolog au plus haut niveau d'expression. On autorise ainsi au programmateur de préciser de manière incrémentale une quantification universelle ou existentielle des variables libres d'un littéral nié
16
Hao, Jin-Kao. "Combiner la programmation en logique et la résolution des contraintes par évaluation partielle : Conslog." Besançon, 1991. http://www.theses.fr/1991BESA2012.
Full textAbstract:
Cette these est une contribution a la programmation en logique avec contraintes (clp). Dans un systeme clp, nous distinguons deux aspects: l'inference logique qui est domaine independant et la resolution des contraintes qui est domaine dependant. Dans les systemes clp existants, ces deux aspects sont etroitement lies (integration forte), ce qui pose des problemes d'implantation, d'extensibilite et de performance. Dans cette these, apres une analyse de ces problemes, nous etudions une approche visant a realiser une integration faible de l'inference logique et de la resolution des contraintes. Nous proposons dans ce cadre une architecture modulaire pour la construction de systemes clp, en faisant abstraction au niveau langage, des domaines de calcul. La modularite assure qu'un tel systeme est relativement facile a construire et extensible. L'architecture facilite la realisation d'implantations efficaces, en evitant des traitements repetitifs mais aussi en permettant l'utilisation de techniques de resolution de contraintes existantes. Le prototype conslog est presente pour valider l'approche proposee. Conslog est un systeme clp (extensible) dans les domaines finis entiers positifs. Il comporte deux composants independants: un evaluateur partiel qui effectue les inferences logiques et collecte les contraintes, et un solveur qui resout les contraintes collectees. Ce prototype operationnel, implante en prolog nous a permis d'experimenter differentes techniques de resolution de contraintes sur de nombreux exemples. Nos travaux apportent une vue nouvelle sur la construction des systemes clp
17
El, Mokhtari Mounir. "Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren : le système cop-compilé." Sherbrooke : Université de Sherbrooke, 1997.
Find full text
18
Legrand, Rémi. "Calcul relationnel et programmation en logique." Paris 6, 1987. http://www.theses.fr/1987PA066481.
Full textAbstract:
Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations; introduction des indeterminees, decomposees en inconnues et gelees dans la programmation fonctionnelle; presentation de prolog et de ses contraintes; construction du langage logique relog a partir de grel, a l'aide d'un orienteur
19
Benharkat, Aicha-Nabila. "Atelier logiciel pleiade : édition des modules et suivi des applications StarLET." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0011.
Full textAbstract:
Les grammaires affixes sont à l'origine du langage LET (langage d’Écriture de traducteurs), spécialement adapté à la réalisation d'interprètes, compilateurs et de façon générale, à la réalisation de tout programme à dominante grammaticale. La confrontation des qualités de ce langage aux services rendus par Prolog ont amené Jean Beney à définir StarLET, langage dérivé de LET facilitant le maquettage des applications puis leur évolution continue par raffinements successifs jusqu'à un produit final compilé et fiable. La commodité d'emploi exigeant la coexistence d'un compilateur (pour la production) et d'un interprète (pour le prototypage), nous proposons un système de développement incrémental prenant en compte les deux modes de développement. Ce système dénommé Pléiade est un ensemble d'outils activés à partir d'un système de commandes. La construction de programmes se fait alors par le biais d'un éditeur syntaxique manipulant une forme abstraite et une forme textuelle produites respectivement par un analyseur/constructeur et un dé-compilateur. Le processus d'édition s'accompagne de la construction incrémentale d'une base de programmes qui permet à l'outil de gestion de modules de contrôler l'évolution des composants d'applications en termes de: -Détection d'effets de bord des modifications à l'édition. -Contrôle de cohérence des importations des interfaces à l'édition. - et Gestion de configuration exécutable ( constitution de configurations, re-compilations automatiques minimales). Nous présentons également un système d'interrogation documentaire sur l'application construite aidant à prévenir certains problèmes de maintenance mais surtout à fournir à l'utilisateur les informations cherchées avec un minimum d'efforts. L'ensemble des outils de Pléiade est coordonné par le système de commandes qui géra l'enchaînement des phases de développement, en particulier les transitions de l'éditeur syntaxique vers le vérificateur ou 1 'interprète ou le générateur de code<br>The affixed grammars are at the origin of the language LET (language of Writing of translators), specially adapted to the realization of interpreters, compilers and in general, to the realization of any program with grammatical predominance. The comparison of the qualities of this language with the services rendered by Prolog led Jean Beney to define StarLET, language derived from LET facilitating the mapping of the applications then their continuous evolution by successive refinements until a compiled and reliable final product. The convenience of use requiring the coexistence of a compiler (for production) and an interpreter (for prototyping), we propose an incremental development system taking into account the two modes of development. This system called Pléiade is a set of tools activated from a system of commands. The program is constructed by means of a syntactic editor manipulating an abstract form and a textual form produced respectively by an analyzer / constructor and a uncompiler. The editing process is accompanied by the incremental construction of a program base which allows the module management tool to control the evolution of the application components in terms of: -Detection of edge effects of editing changes. -Control of the consistency of imports from interfaces to publishing. - and Management of executable configuration (constitution of configurations, minimal automatic re-compilations). We also present a documentary query system on the built application helping to prevent certain maintenance problems but above all to provide the user with the information sought with a minimum of effort. The set of Pléiade tools is coordinated by the system of commands which manages the sequence of development phases, in particular the transitions from the syntactic editor to the verify or the interpreter or the code generator
20
Hsu, Lung-Cheng. "Pbase : une base de données déductive en Prolog." Compiègne, 1988. http://www.theses.fr/1988COMPD126.
Full textAbstract:
Ce travail présente un SGBD (Système de Gestion de Base de Données) couplant PROLOG II et VAX RMS (Record Management System). Les LDD (Langage de Définition de Données) et le LMD (Langage de Manipulation des Données) sont implantés en PROLOG et la gestion du stockage et de la recherche des enregistrements correspondant aux faits est déléguée à RMS. L'organisation indexée est adoptée pour fournir un temps de réponse satisfaisant. Une interface écrite en PASCAL assure la communication entre PROLOG et RMS. L'intérêt de PBASE est qu'il peut fonctionner comme un SGBD général ou bien qu'il peut coopérer avec un système expert pour gérer des faits volumineux stockés en mémoire secondaire. L'ouverture vers VAX RDB (Relational DataBase) est aussi possible. Bien que PBASE s'applique aussi bien aux relations normalisées que celles non-normalisées, un module de normalisation est inclus afin d'éviter les problèmes créés par la redondance de données<br>This thesis describes a relational database system coupling PROLOG II and VAX RMS (Record Management Services). The SQL-like DDL (Data Definition Language) and DML (Data Manipulation Language) are implemented in PROLOG and the management of storage and research of fact record is delegated to RMS. The indexed file organization is adopted to provide a satisfactory response time. An interface written in PASCAL is called to enable the communication between PROLOG and RMS. Once the interface is established, access to the database is transparent. No precompilation is requiert. PBASE can be used as a general DBMS or it can cooperate with an expert system (Our SQL translation module can be considered as such) to manage the voluminous facts stored in the secondary memory. It can also cooperate with VAX RDB (Relational DataBase) to constitute a powerful deductive database. Although PBASE works for normalized relations as well as non-normalized ones, a normalization module is included to avoid the problems caused by the redundancy of data
21
Ridoux, Olivier. "Lambda-Prolog de A à Z... ou presque." [S.l.] : [s.n.], 1998. ftp://ftp.irisa.fr/techreports/habilitations/ridoux.pdf.
Full text
22
Azibi, Nadia. "Trequasi : un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs." Paris 11, 1987. http://www.theses.fr/1987PA112415.
Full textAbstract:
TREQUASI est un système de transformation de programmes Prolog REcursifs en QUASI-Itératifs implémenté en Prolog. Un programme Prolog récursif linéaire est un programme dont une de ses clauses est une clause récursive linéaire de la forme [ P :- Q1 , Pr, Q2. ]. Un programme Prolog quasi-itératif (itératif au sens de Mac Canhy) est un programme dont toutes les clauses récursives qui constituent ce programme ont des appels récursifs terminaux de la forme [ P :- Q1, Pr. ] Q1 est une conjonction de littéraux qui peut être éventuellement vide, Q2 est une conjonction d'atomes qui peut être réduite à un seul atome et Prest l'appel récursif du prédicat P. La méthode de transformation construite est basée sur le principe de Pliage/Dépliage de Burstall-Darlington appliqué à la programmation logique. La transformation s'effectue en deux phases. Premièrement, on détermine le prédicat généralisé appelé EUREKA qui doit répondre aux critères de transformation afin de le transformer en un ensemble de clauses quasi-itératives. Ceci, implique que l'EUREKA en question est soumis à des contraintes permettant de réaliser le Pliage et le Dépliage de Burstall-Darlington. La deuxième phase, consiste donc à transformer l'EUREKA en question en un ensemble de clauses quasi-itératives. Dans cette phase, on est amené à développer une stratégie qui permet d'une part de choisir une règle à appliquer afin d'éviter d'utiliser les règles qui risquent de faire boucler le système et d'autre part de construire (partiellement ou entièrement selon les cas) les règles (propriétés) nécessaires pour faire aboutir la transformation. TREQUASI n'a pas besoin d'avoir une base de connaissances complète, en cas de besoin, TREQUASI fournir la règle qu'il faut et qui sera validée par l'utilisateur.
23
Lucci, Alain Scholl Pierre-Claude. "Production de logiciels pour l'enseignement une expérience de prototypage d'un système construit sur un environnement Prolog /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00306505.
Full text
24
Ianeselli, Jean-Christophe Anceau François. "Un opérateur d'unification pour une machine base de connaissance PROLOG." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00319089.
Full text
25
Lula, Jùnior Bernardo. "Contribution à la conception orientée objet : élaboration d'un environnement de génération interactive d'interfaces à manipulation directe pour la langage OBJLOG." Aix-Marseille 3, 1992. http://www.theses.fr/1992AIX3A008.
Full text
26
Oros, Hernandez Miguel Angel. "Conception, implantation et optimisation d'un langage à objets logiques." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10599.
Full textAbstract:
En partant d'approches declaratives au probleme de l'extension de prolog a des objets, telles que les psi-termes de ait-kaci ou les termes a traits de backofen et smolka, nous proposons un nouveau langage d'acces logique incremental a des objets, qui est essentiellement une extension de datalog a des contraintes traduisant l'aspect objet. Nous etudions certains aspects d'optimisation, symbolique au niveau des contraintes, par rapport a une signature, physique au niveau des acces. Une restriction d'un langage ideal propose est implantee en common lisp sous le nom de u-log 3. Nous abordons egalement le probleme de la classification de predicats datalog, dans la perspective de pouvoir utiliser dans les contraintes des sortes ou des traits definis en logique, et pas simplement interpretes dans une base. Une methode exacte, basee sur la deduction naturelle, est proposee pour attaquer ce probleme indecidable, et implantee en prolog iii dans le prototype concept
27
Kaufmann, Stefan C. "Argument und Algorithmus : ein lexikalisch orienter Analyseansatz diskursiver Textelemente mit PROLOG /." Tübingen : M. Niemeyer, 1995. http://catalogue.bnf.fr/ark:/12148/cb35815862m.
Full text
28
Alliot, Jean-Marc. "TARSKI, une machine parallèle pour implanter des extensions de PROLOG." Toulouse 3, 1992. http://www.theses.fr/1992TOU30106.
Full textAbstract:
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
29
Dang, Weidong Courtois Bernard. "Parallélisme dans une machine base de connaissances Prolog." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00323956.
Full text
30
Belkhiri, Ali. "Contribution à l'interprétation et à la transformation de programmes Prolog." Toulouse, ENSAE, 1988. http://www.theses.fr/1988ESAE0002.
Full textAbstract:
L'objectif principal de la programmation logique consiste à combiner facilité d'expression et efficacité d'exécution, selon l'esprit de l'équation de Kowalski : "Algorithme = logique + contrôle". Actuellement, cet objectif n'est pas atteint et, dans la plupart des systèmes de programmation de type Prolog, l'expressivité et l'efficacité sont obtenus l'un au détriment de l'autre. Cette thèse propose une méthodologie de programmation qui résoud cette contradiction en optimisant la structure et le comportement des programmes à l'exécution. La méthodologie est basée sur une technique de transformation statique et sur un algorithme de backtracking intelligent dynamique que nous avons développés. Un interpréteur intégrant l'algorithme de backtracking intelligent a été implémenté.
31
Souai, Mohamed. "Moniteur d'un système fonctionnellement réparti." Grenoble INPG, 1987. http://www.theses.fr/1987INPG0044.
Full textAbstract:
L'etude generale du moniteur, le rappel desgeneralites sur les systemes distribues et la synthese sur les systemes de communication mis en oeuvre dans les reseaux locaux d'ordinateurs sont presentes dans la premiere partie du travail. Dans la deuxieme partie, l'utilisation du langage prolog dans le but d'etudier une methode de repartition fonctionnelle est proposee. Deux realisations sont developpees
32
Nurcan, Selmin. "Représentation de connaissances et gestion de données évolutives dans le contexte de la programmation logique orientée objet." Lyon, INSA, 1991. http://www.theses.fr/1991ISAL0005.
Full textAbstract:
AEpsilon est un système de gestion de base de connaissances basé sur l'intégration des technologies de la programmation logique et des bases de données relationnelles. Son but est de fournir un environnement qui offre à la fois des mécanismes de structuration puissants, tels que la modularité (classes et héritage), et un accès efficace et transparent aux bases de données. Cette thèse décrit en détail l'une des interfaces réalisées dans cet environnement, entre le niveau déductif et les bases de données relationnelles. Une interface hybride (semi interpretee-semi compilee) utilise un protocole de communication à deux phases (statique-dynamique) en minimisant le nombre d'accès à la base de données avec des requêtes au sgbd aussi sélectives que possibles. L'interface ainsi obtenue est intégrée dans le prototype complet Epsilon, en la définissant comme un nouveau moteur d'inférence grâce auquel l'utilisateur n'a plus besoin de distinguer les prédicats logiques des prédicats base de données. Une composante très mal prise en compte dans les systèmes de gestion de connaissance concerne l'évolution automatique de l'appartenance des instances d'une classe vers une autre classe. Ce problème recouvre partiellement les aspects liés à ce que l'on appelle la dynamique dans les bases de connaissances. Dans le but d'ajouter cette composante dans Epsilon, nous avons défini un moteur d'inférence, capable de gérer cette évolution, ce qui se traduit par un changement d'appartenance de n-uplets à des relations<br>EPSILON is a knowledge Base management system (KBMS) based on the integration of database technology and logic programming paradigm. Its aim is to provide an environment offering at the same time powerful structuring mechanisms, such as modularity, and efficient and transparent access to relational database systems. This work describes an interface implemented in this environment between PROLOG and a relational DBMS. A hybrid interface (half compiled-half interpreted) uses a two phase (static-dynamic) communication protocol minimizing the accesses to the database and generating queries as selective as possible to the database. This interface is integrated into EPSILON by defining it a new inference engine which allows the user logical predicates and database predicates in the same way. An aspect, poorly taken into account in knowledge based systems, in the automatic evolution of instances from a class to another one. This problem corresponds partially to the so-called notion of dynamics in knowledge bases. For integrating this aspect into EPSILON, we defined a new inference engine which is able to manage this evolution (corresponding to the migration of tuples from a database relation to another one)
33
Li, Lei. "L'évaluation partielle et son application pour coupler Prolog et les SGBD." Lyon 1, 1988. http://www.theses.fr/1988LYO10079.
Full textAbstract:
Dans le domaine de couplage prolog-sgbd deux problemes sont essentiels: la generalite et la performance. Une nouvelle approche, appelee "approche semi interpretee" est proposee, avec laquelle ces deux problemes peuvent etre resolus. Un prototype est realise en utilisant les deux techniques suivantes: 1) evaluation partielle qui est un outil d'optimisation general et 2) optimisation inter clauses qui permet d'eviter d'extraction des donnees inutiles et/ou redondantes pour coupler efficacement prolog et les sgbds
34
Jahier, Erwan. "Analyse dynamique de programme : Mise en oeuvre automatisée d'analyseurs performants et spécifications de modèles d'exécution." Rennes, INSA, 2000. http://www.theses.fr/2000ISAR0009.
Full textAbstract:
De nombreuses études montrent que la plus grande partie du coût de production d'un logiciel est générée lors de la phase de maintenance. Lors de cette phase, pour corriger des erreurs, pour optimiser des programmes, ou pour ajouter des fonctionnalités, il est essentiel de comprendre les programmes, et en particulier de comprendre leur comportement. Les analyseurs dynamiques d'exécutions tels que les profileurs, les moniteurs, ou les débogueurs, sont alors des outils indispensables. Cependant, ces outils d'analyse dynamique sont extrêmement coûteux à mettre en oeuvre : (1) d'abord, parce qu'il est généralement nécessaire de modifier le système de compilation utilisé, ce qui est fastidieux et pas toujours envisageable ; (2) en outre, les besoins en outils d'analyse de programmes varient d'un utilisateur à l'autre, en fonction de sa compétence, de son expérience du système de programmation utilisé, ainsi que de sa connaissance du code à maintenir ; (3) et enfin, parce que ces outils sont difficilement réutilisables. Il est donc souhaitable que chaque utilisateur puisse spécifier facilement les analyses dynamiques dont il a besoin. C'est pourquoi nous proposons dans cette thèse une architecture qui permet de faciliter leur mise en oeuvre. Cette architecture est basée : (1) sur une instrumentation systématique du programme qui produit une image très détaillée de l'exécution, la trace ; (2) sur un ensemble de primitives qui permettent d'analyser cette trace efficacement. Les analyseurs résultants ont des performances du même ordre de grandeur que leurs équivalents implémentés <<à la main>> par modification du système de compilation. Ils peuvent être mis en oeuvre par des utilisateurs sans connaissance particulière du système de compilation, qu'ils n'ont pas à modifier. Cette architecture leur permet d'implémenter les outils qui leur conviennent, adaptés à leur niveau de compréhension du code qu'ils sont chargés de maintenir. De plus, la structure modulaire de l'architecture proposée devrait permettre de faciliter la réutilisation de ces analyseurs pour d'autres systèmes. Notre propos est illustré dans le cadre du langage de programmation logique et fonctionnelle Mercury. Cependant, les concepts utilisés sont indépendants du paradigme de programmation. La trace sur laquelle nous basons la mise en oeuvre de nos analyseurs se doit de refléter le plus fidèlement possible la sémantique opérationnelle du langage. C'est pourquoi nous proposons également dans cette thèse un cadre de modélisation des traces d'exécutions basé sur une sémantique opérationnelle du langage à analyser. Cette spécification formelle de la trace nous permet de valider expérimentalement les traceurs et de prouver leur correction. Cette étude a été menée dans le cadre du langage de programmation logique Prolog<br>Several studies show that most of the software production cost is spent during the maintenance phase. During that phase, to locate bugs, to optimize programs, or to add new functionalities, it is essential to understand programs, and in particular to understand their runtime behavior. Dynamic analysis tools such as debuggers, profilers, or monitors, are very useful in that respect. However, such tools are expensive to implement because: (1) it generally requires to modify the compiling system, which is tedious and not always possible; (2) the needs in dynamic analysis tools vary from one user to another, depending on its competence, on its experience of the programming system, and on its knowledge of the code to maintain; (3) such tools are generally difficult to reuse. It is therefore desirable that each user is able to specify easily the dynamic analyses he needs. Hence, we propose an architecture that eases dynamic analysis tools implementation. This architecture is based on: (1) a systematic instrumentation of the program which gives a detailed image of the execution, the trace; (2) a set of trace processing primitives that lets one analyse the trace efficiently. The resulting analysers have performance of the same order of magnitude that their equivalent implemented ``by hand'' by modifying the compiling system. They can be implemented by programmers without any knowledge of the compiling system. This architecture let them implement the tools they need, adapted to their level of comprehension of the code they are in charge to maintain. Furthermore, the modular structure of the proposed architecture should ease the analysers reuse. This work has been held within the context of the logical and functional programming language Mercury. However, the concepts we used do not depend on the programming paradigm. The trace on which we base the implementation of our dynamic analysis tools should reflect as much as possible the runtime behavior of programs. Therefore, we also propose a framework to specify execution traces. This framework is based on an operational semantics of the language to analyse. Such formal specifications of the trace let us experimentally validate tracers, and prove their correctness. This work have been held within the context of the logical programming language Prolog
35
Coupet-Grimal, Solange. "Deux arguments pour les arbres infinis en Prolog." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37612787w.
Full text
36
Moll, Georges-Henri. "Un langage pivot pour le couplage de Prolog avec des bases de données : formalisation et environnement opérationnel." Lyon 1, 1987. http://www.theses.fr/1987LYO10102.
Full textAbstract:
Un langage pivot, base sur l'algebre relationnelle, a ete defini pour servir de pont semantique entre prolog et les differents langages de manipulation de donnees des bases. Il joue un role operationnel grace a des modules: de separation automatique des parties concernant les bases dans un programme prolog; de traduction et d'optimisation lui conferant la puissance d'un langage pour manipuler des donnees reparties
37
Azzoune, Hamid Mossière Jacques Trilling Laurent Briat Jacques. "Les @types en Prolog un système d'inférence de type et ses applications /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00332314.
Full text
38
Codognet, Philippe. "Backtracking intelligent en programmation logique : de la théorie à l'implémentation et à l'application au parallélisme." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10504.
Full textAbstract:
Proposition d'un cadre formel permettant une etude detaillee du probleme, puis d'une simplification de celui-ci en vue d'une implementation. Sa mise en uvre est ensuite exposee, suivie d'une evaluation de ses performances aussi bien vis-a-vis de prolog que des autres methodes de backfracking intelligent. Apres un etat de l'art des differentes recherches en programmation logique parallele, il est propose d'integrer du backfracking intelligent aux deux techniques de parallelisation les plus prometteuses
39
Signes, Nathalie. "Définition et évaluation d'une machine abstraite dédiée à la compilation d'un modèle d'exécution répartie pour le langage Prolog." Toulouse 3, 1993. http://www.theses.fr/1993TOU30055.
Full textAbstract:
Coala (calculateur oriente acteurs pour la logique et ses applications) a pour but de mettre en uvre et de supporter efficacement le parallelisme inherent au langage prolog, sans l'intervention du programmeur. Le modele d'execution repartie sous-jacent a l'architecture utilise le graphe de connexion et/ou de r. Kowalski comme representation interne des textes prolog. L'etude d'une approche compilee du modele d'execution repartie a conduit a la definition d'une machine abstraite specifique au projet coala et baptisee ciam (coala inference abstract machine). Le principe general est de traduire un arc du graphe et son comportement en une sequence d'instructions elementaires. L'organisation du code au sein de la machine abstraite ciam se presente sous forme d'ensemble de blocs: les blocs acteurs et les blocs de donnees. Grace a la definition de cette machine abstraite ciam, la version compilee du modele d'execution de coala est actuellement operationnelle sur un reseau tridimensionnel cyclique de 36 transputers: la maquette hypertore. Ce qui a permis de realiser un ensemble de mesures de performance autour de quelques programmes prolog significatifs. Ces mesures ont demontre un gain d'un facteur plus important pour les programmes prolog ayant un grand nombre d'assertions. Ce resultat favorable nous permet d'envisager un systeme prolog plus specialise pour les applications prolog-base de donnees
40
Pelhat, Sophie. "Analyse des inférences récursives en PROLOG : système d'aide à la détection et au contrôle de boucles." Paris 11, 1987. http://www.theses.fr/1987PA112452.
Full textAbstract:
La double sémantique, déclarative et procédurale, de PROLOG lui permet de tenir une place de choix dans le domaine de l'Intelligence Artificielle. Cependant la puissance d'expression de ce langage peut entraîner des effets non désirés et incontrôlés par le programmeur dont une conséquence fréquente est le bouclage de l'interprète sur des programmes récursifs. Nous proposons un environnement adapté dont l'objectif est de prévoir le comportement d'un programme. C'est un système d'analyse et de contrôle des programmes récursifs composé de deux phases. La première correspond à une analyse statique des programmes: on construit les schémas des cycles existants sur les clauses dont l'activation provoque le bouclage de l'interprète. La seconde phase est l'évaluation dynamique des programmes: son rôle premier est d'indiquer les contextes d'appels dont on est certain que l'évaluation termine. Dans les autres cas le système présente les schémas des cycles activés sur le programme qui peuvent conduire à des boucles. Il fournit alors des renseignements précis sur ces boucles potentielles. D'une part, il indique la structure de la boucle, c'est-à-dire l'ensemble des clauses qui composent le cycle activé. D'autre part, il précise l'origine de la boucle: si elle est créée par une instantiation spécifique d'un littéral récursif ou bien si elle est liée à la sémantique des clauses. Enfin, il informe l'utilisateur des conséquences possibles de la boucle, à savoir si elle produit un ensemble fini ou infini de solutions. De plus, des méthodes de traitement adaptées à la nature des boucles détectées sont proposées interactivement à l'utilisateur. Une méthode de généralisation, appelée méthode de généralisation des données, permet d'extraire, de l'environnement dans lequel le bouclage est activé, les informations qui sont significatives pour ce bouclage<br>The declarative and procedural semantic of PROLOG allows it to be in good position among the ether languages of Artificial Intelligence. However, the expressive power of this language may cause undesired effect which cannot be controlled by the programmer like loops in recursive programs. We propose here a programming environment which aims at foreseeing the behavior of a program. It is a system designed for analysis and control of recursive programs which is made up of two parts. The first part performs a static analysis of program. In this part cycles existing in the program clauses are localized. The second part consists in a dynamic evaluation of the program. Its main objective is, either to determine the class of goals for which we can ensure termination of resolution, or to present the cycle schemes which activation may lead to loops. The system may then yield informations on these potential loops. First, it points out their structure, namely the sequence of goals which composes the activated cycle. Secondly, it precise their origin: in other words is a loop caused by a bad instantiation of a goal or is it related to the semantic of the clause. Thirdly, the system informs the user about the possible consequences of loop, that 1s to say, does the loop yield a finite or infinite set of solutions. On the other hand, debugging methods fitted to the nature of the detected loops are interactively proposed to the user. A generalization method, named method of data generalization, allows to extract informations about a loop from the environment in which it is activated
41
Robert, de Saint Victor Isabelle. "Système déductif dans le contexte de données réparties." Lyon 1, 1988. http://www.theses.fr/1988LYO10084.
Full textAbstract:
La cooperation de prolog avec des bases de donnees est une strategie possible pour construire une base de connaissances. Elle permet d'utiliser l'acquis dans les domaines de l'inference par prolog et de la gestion des donnees avec les sgbds. Dans l'approche presentee, le dialogue entre prolog et les sgbds est realise par un processeur de communication. Son role est triple: 1) vehiculer l'information d'une maniere bidirectionnelle entre les deux systemes; 2) traduire les besoins en information, issus de prolog et exprimes en algebre relationnelle etendue, en requetes dans les langages de manipulation de donnees des sgbds; 3) gerer la repartition des donnees par un jeu d'operateurs algebriques et resoudre des requetes recursives
42
Dang, Weidong. "Parallélisme dans une machine base de connaissances Prolog." Grenoble INPG, 1987. http://tel.archives-ouvertes.fr/tel-00323956.
Full textAbstract:
Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture nommée "architecture orientée processus" l'exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simulation en langage parallèle Occam, en vue de valider le modèle et son exécution dans une architecture multiprocesseurs, est décrite. Finalement, un système Prolog avec la capacité de manipuler des clauses extérieures à la mémoire centrale est présenté
43
Turpin, Tiphaine. "Élagage d’invariants de programmes." Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/turpin.pdf.
Full textAbstract:
This thesis addresses the generation of certificates for Proof-Carrying Code that are both small and easy to check. We propose methods for obtaining small witnesses of a safety property in the context of Abstraction-Carrying Code. In the distributive case, the weakest witness (\emph{i. E. }, the smallest) may be computed. For the general case, we propose a pruning technique for weakening a given witness. This technique is applied to the abstract domain of convex polyhedra, in the intraprocedural and then interprocedural case. Another application is presented, which allows the lightweight bytecode verification to be enriched by including interface method calls, without making the checker more complex. We present various reconstruction algorithms which generalise existing checking algorithms. Finally, to facilitate the use of Binary Decision Diagrams in static analysis (and thus for Abstraction-Carrying Code), we prove the soundness of a relational formulation of the least fixpoint semantics of definite range-restricted logic programs<br>Cette thèse s'intéresse à l'obtention de certificats pour le Proof-Carrying Code qui soient à la fois petits et faciles à vérifier. Nous proposons des méthodes pour obtenir de petits témoins d'une propriété de sûreté dans le contexte de l'Abstraction-Carrying Code. Dans le cas distributif, le plus faible témoin (c'est à dire, le plus petit) peut être calculé. Dans le cas général, nous proposons une technique d'élagage pour affaiblir un témoin donné. Cette technique est appliquée au domaine abstrait des polyèdres convexes, dans le cas intraprocédural puis interprocéedural. Une autre application est présentée, qui permet d'enrichir la vérification « lightweight » de bytecode en incluant les appels de méthodes d'interfaces, sans compliquer le vérifieur. Nous présentons différents algorithmes de reconstruction qui généralisent les algorithmes de vérification existants. Enfin, pour faciliter l'utilisation des Binary Decision Diagrams en analyse statique (et donc pour l'Abstraction-Carrying Code), nous prouvons la correction d'une formulation relationnelle de la sémantique de plus petit point fixe des programmes logiques définis et "range-restricted''
44
Hoarau, Sébastien. "Inférer et compiler la terminaison des programmes logiques avec contraintes." La Réunion, 1999. http://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/99_21_Hoarau.pdf.
Full textAbstract:
Face à un programme logique (avec contraintes) et un système Prolog, il est légitime de se demander si la requête qu'on se propose de soumettre va terminer. Actuellement, il existe des systèmes capables de répondre à cette question. Les plus connus travaillent avec des Prolog standards et la règle gauche-droite pour la sélection des littéraux. La propriété obtenue est celle de terminaison gauche. Depuis quelques années, on est même capable d'inférer-et pas seulement de tester-des clases de requêtes qui vérifient la propriété de terminaison gauche. Cette thèse va plus loin en présentant une méthode automatique qui infère, non seulement des classes de requêtes sûres pour la terminaison gauche, mais aussi des classes de requêtes qui, à première vue, ne le sont pas. Elles peuvent toutefois le devenir si on considère un nouveau programme. Ce dernier est obtenu en réordonnant les atomes dans le corps des clauses du programme initial. Comme l'inférence, la transformation (ou compilation) est automatique. D'un point de vue théorique, le système repose sur une nouvelle classe de terminaison universelle ainsi que sur une méthode générique d'analyse statique.
45
Bodeveix, Jean-Paul. "Logarithm : un modèle de prolog parallèle : son implémentation sur transputers." Paris 11, 1989. http://www.theses.fr/1989PA112023.
Full textAbstract:
Cette thèse décrit un langage logique dérivé de Prolog étendu par des primitives de résolution en parallèle et de synchronisation de processus, et son implémentation sur une architecture multiprocesseurs à base de transputers. Après avoir passé en revue les différentes extensions parallèles de Prolog existantes, nous introduisons un langage original (Logarithm) permettant de bénéficier de la puissance apportée par le parallélisme sans devoir repenser complètement l'implémentation de son application. Ainsi, Logarithm se démarque t-il des langages du modèle des clauses de Horn Gardées. Il offre la possibilité de créer des processus non déterministes communiquant incrémentalement des termes par l'intermédiaire de leur variables communes. Logarithm est basé sur le principe du backtrack intelligent dont l'étude de divers modèles conduit à la définition d'un algorithme de backtrack intelligent distribué basé sur des envois de messages entre points de choix et processus, suivant un graphe de dépendance créé dynamiquement et mis à jour lors des accès aux variables. Nous décrivons alors le modèle de résolution dans son ensemble et une machine abstraite comme extension de celle de Warren par des instructions liées au parallélisme et à la synchronisation. Un compilateur génère du code pour cette machine qui est ensuite interpété. La dernière partie décrit, après l'étude des systèmes de développement existants sur Transputer, notre compilateur d'un langage C parallélisé et un système distribué pour réseau de Transputers permettant la création dynamique de processus communiquant par des messages asynchrones et rendant la topologie du réseau transparente pour l'utilisateur.
46
Grandcolas, Stéphane. "Résolution d'équations sur les arbres et les listes." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX22027.
Full textAbstract:
Presentation d'un algorithme de simplification de systemes de contraintes constitues d'equations et de contraintes de longueur. Dans ces systemes, chaque occurrence de l'operation de concatenation est necessairement accompagnee d'une contrainte de longueur fixant la longueur de son operande gauche. Par des reecritures successives, le systeme de contraintes a traiter est amene soit a prendre une forme simplifiee, soit a trahir son insolubilite. Ce travail s'est concretise par l'implantation de l'algorithme de simplification a l'interieur d'un interpreteur du langage prolog iii
47
Fallot, Laurent. "Une aide interactive à la construction de preuves en logique du premier ordre." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10526.
Full textAbstract:
Le systeme formel implante s'inspire de la deduction naturelle, s'approchant de l'ecriture des preuves dans un texte mathematique courant. Les resultats prouves peuvent etre sauvegardes et utilises ulterieurement comme regles d'inference pour d'autres preuves
48
Bracquemond, Annie. "Exther : un système de diagnostic en échanges thermiques convectifs." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX22001.
Full textAbstract:
Exther se comporte comme un generateur automatique de conductances convectives. Il permet de resoudre des problemes en partant uniquement de la description geometrique de l'objet, de la localisation des sources de chaleur et de leurs caracterisations
49
Nemo, Clémentine. "Construction et validation de modèles guidées par l'application idempotente de transformations." Nice, 2010. http://www.theses.fr/2010NICE4090.
Full textAbstract:
Les systèmes d’information d’entreprise (SIE) visent à mettre à disposition des développeurs un ensemble d’éléments hétérogènes (politiques, composants sur étagère, patrons de conception,…) communs à tous les projets de l’entreprise. Le développement des logiciels se fait ainsi par l’alternance d’intégrations des briques logicielles et de modifications manuelles des codes. Lorsque les briques logicielles correspondent à l’introduction de politiques, telle que le contrôle d’accès, les assemblages de composants résultants respectent les contraintes imposées par la politique. Or, l’intégration d’autres politiques et les modifications de l’utilisateur peuvent violer ces contraintes et introduire des incohérences dans le modèle. Assurer et éventuellement établir la cohérence des assemblages construits par introductions de politiques est la problématique abordée par ce travail de thèse. Dans cette thèse, nous appréhendons une politique comme une transformation de modèle à modèle où son application, par des propriétés d’idempotence, modifie uniquement les éléments de modélisation nécessaires. Nous proposons alors une spécification des transformations afin de définir par construction des transformations idempotentes que nous nommons ITC. Cette formalisation consiste à spécifier la sémantique des actions élémentaires composant l’expression d’une ITC à spécifier le processus d’application d’une ITC. Les applications d’ITCs deviennent alors la base pour construite, valider et réparer un modèle. Nous définissons alors un algorithme de rejeu d’un ensemble d’applications d’ITCs afin de construire un modèle validant un ensemble de contraintes liées à un ensemble de politiques. L’écriture de l’expression des ITCs à partir d’actions élémentaires, l’application des ITCs et l’algorithme de rejeu sont mises en œuvre dans un moteur d’applications implémenté en Prolog. Nous illustrons cette contribution à travers une étude de cas où nous mettons en avant la nécessité de permettre les introductions séquentielles et ensemblistes des politiques<br>Model transformations play a critical role in Model Driven Development because they automate recurrent software development tasks. Some of these transformations are refinement of models by adding or retracting elements to produce new models conforming to additional constraints. For example, such transformations are used to integrate non functional properties. But modifications of the resulting model can break the conformity to those functional properties. Our challenge is to detect and restore this conformity applying the same transformation again. In this thesis, we defend that model transformation is the key concept to validate and restore models and we establish a system to define idempotent transformations
50
Karfia, Ahmed. "Présentation d'une base de connaissances adaptée à la modélisation par réseaux de pétri : structures du contrôle des processus de production discrétisés." Lille 1, 1987. http://www.theses.fr/1987LIL10085.
Full textAbstract:
Conception et réalisation en langage prolog d'un système basé sur la connaissance, d'aide à la synthèse et à la validation de la partie commande d'un système de processus industriels décrite par réseaux de pétri structurés