Contents
Academic literature on the topic 'Prolog (langage de programmation)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.
Dissertations / Theses on the topic "Prolog (langage de programmation)"
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