Relevant bibliographies by topics / Langages de programmation Programmation logique

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'Langages de programmation Programmation logique'

Author: Grafiati
Published: 4 June 2021
Last updated: 6 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Langages de programmation Programmation logique.'

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.

Journal articles on the topic "Langages de programmation Programmation logique"

1

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text
Abstract:
Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.
APA, Harvard, Vancouver, ISO, and other styles
2

Mélès, Baptiste. "Approche philologique des langages de programmation." Techniques et sciences informatiques 35, no. 2 (2016): 237–54. http://dx.doi.org/10.3166/tsi.35.237-254.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cointe, Pierre, Jacques Noyé, Rémi Douence, et al. "Programmation post-objets. Des langages d'aspects aux langages de composants." L'objet 10, no. 4 (2004): 119–43. http://dx.doi.org/10.3166/objet.10.4.119-143.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Blanc, G., and N. Bleuzen-Guernalec. "Algèbres effectives dans la programmation logique avec contraintes." RAIRO - Theoretical Informatics and Applications 26, no. 3 (1992): 221–42. http://dx.doi.org/10.1051/ita/1992260302211.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Corblin, Fabien, Eric Fanchon, and Laurent Trilling. "Modélisation de réseaux biologiques discrets en programmation logique par contraintes." Techniques et sciences informatiques 26, no. 1-2 (2007): 73–98. http://dx.doi.org/10.3166/tsi.26.73-98.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lefebvre, Marie-Thérèse. "Analyse de la programmation radiophonique sur les ondes québécoises entre 1922 et 1939 : musique, théâtre, causeries." Les Cahiers des dix, no. 65 (February 3, 2012): 179–225. http://dx.doi.org/10.7202/1007776ar.

Full text
Abstract:
Élément essentiel de la modernisation du Québec, la radio a-t-elle été également un véhicule des idées nouvelles qui se développent dans les années 1930 ? L’analyse de la programmation de la musique, du théâtre et des causeries démontre que les choix d’émissions ont obéi davantage à la logique marchande qu’à la volonté de participer aux changements qui ont marqué ces années.
APA, Harvard, Vancouver, ISO, and other styles
7

Laperrière, Hélène. "Une pratique réflexive collective de production de connaissances dans la lutte communautaire contre le VIH/sida au Québec." Nouvelles pratiques sociales 22, no. 1 (2010): 77–91. http://dx.doi.org/10.7202/039661ar.

Full text
Abstract:
Les agences canadiennes de santé publique recourent à la mobilisation d’acteurs communautaires pour mettre en oeuvre leurs programmes au plan local. La logique sociétale de programmation diffère toutefois de la pratique communautaire de production et de mise en oeuvre des connaissances. Comment se produit la connaissance locale au sein du partenaire communautaire ? En quoi cette connaissance contribue-t-elle à la lutte contre le sida ?
APA, Harvard, Vancouver, ISO, and other styles
8

Espinasse, Bernard, Rinaldo Lima, and Fred Freitas. "Extraction automatique d’entités et de relations par ontologies et programmation logique inductive." Revue d'intelligence artificielle 30, no. 6 (2016): 637–74. http://dx.doi.org/10.3166/ria.30.637-674.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Faye, R. M., S. Sawadogo, and F. Mora-Camino. "Logique floue Appliquée à la gestion à long terme des ressources en eau." Revue des sciences de l'eau 15, no. 3 (2005): 579–96. http://dx.doi.org/10.7202/705470ar.

Full text
Abstract:
Dans le contexte de la rareté des ressources en eau, une approche globale de la gestion à long terme d'un système de stockage/transfert/distribution d'eau est proposée. L'objectif principal de la gestion d'un tel type de système est de gérer les réserves et les délestages de manière à minimiser les écarts entre offre et demande, ceci à partir d'une prédiction de la demande et des apports. Ainsi, on propose une approche à horizon glissant et surtout une procédure d'adaptation des pondérations du critère fondée sur la logique floue. Cette notion d'adaptation du critère parait tout à fait judicieuse quand on connaît la difficulté de définir les pondérations de tels problèmes d'optimisation et son influence sur la pertinence de la solution obtenue. On vérifie ici l'apport essentiel de la logique floue qui permet d'appréhender finement les enjeux en présence dans la gestion de long terme du système stockage/transfert/distribution d'eau. Le problème de gestion à long terme est résolu par une heuristique améliorée utilisant la programmation linéaire et la programmation dynamique pour réduire les effets de la discrétisation spatiale qui est si limitative dans ce contexte. L'approche de gestion proposée est effectivement appliquée à un cas d'étude qui permet de mettre en évidence sa relative simplicité de mise en œuvre.
APA, Harvard, Vancouver, ISO, and other styles
10

Laugier, C. "Les apports respectifs des langages symboliques et de la cao en programmation des robots." Robotica 6, no. 3 (1988): 243–53. http://dx.doi.org/10.1017/s0263574700004355.

Full text
Abstract:
SUMMARYA high-level robot programming language constitutes a general purpose interface for accessing the basic functional capabilities of a robot. On the other hand, CAD facilities give the possibility of using a subset of these capabilities in an easier fashion. In this paper, we show how a robot programming language and CAD facilities can be combined to obtain a robot programming system satisfying the need for generality, and allowing an easy connection with the basic robot programming functions. Such a connection is based on a “complete” simulator providing facilities for executing robot control programs on a graphic display, for describing manipulation tasks using interactive graphic tools, for simulating the physical world and its perception through sensors, and for displaying three-dimensional scenes as shaded pictures.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Langages de programmation Programmation logique"

1

Fronhöfer, Franz Bertram. "La logique dans la programmation : synthèse logique de programmes et langages de programmation logique." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0047.

Full text
Abstract:
Comparaison de plusieurs approches de la synthese de programmes. Presentation de deux etudes visant d'une part a l'affinement du raisonnement logique en forme non normale et d'autre part a la transformation de la logique de premier ordre en clauses de horn. Un langage logique qui unifie le raisonnement deductif et la programmation procedurale est propose
APA, Harvard, Vancouver, ISO, and other styles
2

Ezequel, Philippe. "Décomposition en programmation logique." Montpellier 2, 1990. http://www.theses.fr/1990MON20100.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

Denis, François. "Contribution à l'étude des sémantiques axiomatiques de Prolog." Lille 1, 1990. http://www.theses.fr/1990LIL10170.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

Yaacoub, Antoun. "Flux de l'information en programmation logique." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1787/.

Full text
Abstract:
Cette thèse est développée dans le but d'aborder la question du flux de l'information en programmation logique. Les contributions de cette thèse peuvent être divisées en trois parties: 1. Flux de l'information en programmation logique: Nous proposons une base théorique de ce que pourrait être un flux de l'information en programmation logique. Plusieurs définitions de flux d'information (basées sur la réussite / échec, les substitutions réponses, bisimulation entre les arbres de résolution des buts logiques) sont évaluées et comparées. Des problèmes de décision sont donnés pour chaque définition et la complexité est étudiée pour certaines catégories de programmes logiques. 2. Bisimulation de buts logiques: Nous introduisons la notion de bisimulation entre les buts Datalog: deux buts Datalog sont bisimilaires par rapport à un programme Datalog donné lorsque leurs SLD-arbres, considérés comme des structures relationnelles, sont bisimilaires. Nous abordons le problème de décider si deux buts donnés sont bisimilaires à l'égard d'un programme donné. Lorsque les programmes sont hiérarchiques ou restricted, ce problème est décidable en 2EXPTIME. 3. Contrôle préventif de l'inférence dans les bases de données déductives: Nous proposons un mécanisme de sécurité sûr et précis pour les bases de données déductives basé sur la notion de flux de l'information dans la programmation logique<br>This thesis is developed in order to tackle the issue of information flow in logic programming. The contributions of this thesis can be split into three mains parts: 1. Information flow in logic programming: we propose a theoretical foundation of what could be an information flow in logic programming. Several information flow definitions (based on success/failure, substitution answers, bisimulation between resolution trees of goals) are stated and compared. Decision procedures are given for each definition and complexity is studied for specific classes of logic programs. 2. Bisimulation of logic goals: We introduce the concept of bisimulation between Datalog goals: two Datalog goals are bisimilar with respect to a given Datalog program when their SLD-trees, considered as relational structures, are bisimilar. We address the problem of deciding whether two given goals are bisimilar with respect to given programs. When the given programs are hierarchical or restricted, this problem is decidable in 2EXPTIME. 3. Preventive inference control for deductive databases: We propose a secure and a precise security mechanism for deductive databases based on the notion of information flow in logic programming
APA, Harvard, Vancouver, ISO, and other styles
5

Lafont, Yves. "Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique /." [Le Chesnay] : [Institut national de recherche en informatique et en automatique], 1988. http://catalogue.bnf.fr/ark:/12148/cb34935229k.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Blay-Fornarino, Mireille, and Anne-Marie Pinna. "Un modèle objet logique et relationnel : le langage Othelo." Nice, 1990. http://www.theses.fr/1990NICE4359.

Full text
Abstract:
Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur. Un langage issu de ce modèle peut autoriser : la création d'objets de structures internes différentes pouvant communiquer entre eux ; la définition de modes d'héritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inférence déclarative au modèle objet. Le langage Othello est une implantation en Prolog du modèle abstrait dans laquelle les principaux mécanismes ont été reconsidérés afin d'attribuer aux objets des comportements logiques. Citons : la définition de méthodes polymorphes, l'envoi de message à objets anonymes, des combinaisons et du contrôle sur les méthodes dans un graphe d'héritage et des capacités intrinsèques à raisonner. Aspect relationnel de la connaissance. L’idée est d'utiliser l'approche objet pour décrire un langage de relations et ainsi faciliter l'expression des relations de dépendance et le maintien automatique de leur cohérence. Une des originalités de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour rétablir de façon incrémentale la cohérence. Les liens de la hiérarchie proposée permettent de décrire les relations d'héritage et d'implanter une interface graphique. Une quatrième partie illustre ce travail par une application en thermique
APA, Harvard, Vancouver, ISO, and other styles
7

Moal, Frédéric. "Langage de biais en apprentissage symbolique." Orléans, 2000. http://www.theses.fr/2000ORLE2051.

Full text
Abstract:
L'extraction de connaissances dans les bases de données (ECD) est un domaine de recherche actuellement très actif. Une problématique importante pour l'ECD est l'apprentissage supervisé, dont le but est de trouver une définition en intension d'un concept représenté par un ensemble d'exemples étiquetés comme appartenant ou non à ce concept. Dans un contexte relationnel, cette tâche, pour des raisons à la fois théoriques et pratiques, nécessite l'utilisation de biais pour adapter l'algorithme d'apprentissage aux caractéristiques du problème considéré. Nous proposons un cadre unifié et déclaratif pour la spécification et l'exploitation des biais sur l'espace des hypothèses. Notre approche repose sur la définition d'un nouveau formalisme, qui raffine les grammaires d'arbres par un langage de contraintes. Nous montrons notamment que ce formalisme permet de définir l'espace des hypothèses par unions et intersections de biais. Nous nous intéressons ensuite à l'exploration d'un tel espace, en étudiant deux approches, l'une déterministe et l'autre stochastique. Dans la première, nous proposons une nouvelle définition des opérateurs de raffinement sur les clauses utilisés en programmation logique inductive. Cette définition utilise explicitement l'espace des hypothèses et les biais, ce qui permet un élagage optimal lors de la recherche. Nous appliquons cette approche à l'ECD, en utilisant la structure de la base de données pour optimiser la base de recherche. Notre deuxième approche repose sur les algorithmes d'évolution. Nous montrons que le formalisme des grammaires d'arbres avec contraintes est particulièrement adapté à la spécification des biais en programmation génétique. Il étend en effet l'expressivité des formalismes existants, permet de modéliser les biais sur la population initiale, et de contrôler la validité des descendants lors des opérations génétiques. Nous proposons d'appliquer ce nouveau cadre pour l'induction de concepts exprimés en algèbre relationnelle.
APA, Harvard, Vancouver, ISO, and other styles
8

MALLET, OLIVIER. "Interpretation abstraite appliquee a la compilation et la parallelisation en programmation logique." Palaiseau, École polytechnique, 1992. http://www.theses.fr/1992EPXX0011.

Full text
Abstract:
L'interpretation abstraite est une technique puissante d'analyse semantique qui permet la detection de proprietes dynamiques. Elle repose sur la notion d'abstraction (ou approximation) qui remplace les elements du domaine habituel - dit concret - par ceux du domaine abstrait. Nous presentons une semantique deductive de prolog, qui approche la semantique operationnelle standard et possede une propriete de compositionnalite grace a l'utilisation de l'espace des termes quotiente par la relation de renommage et grace a une decomposition de l'operateur d'unification en deux parties independantes. Puis nous proposons pour cette semantique un interprete abstrait generique, c'est-a-dire qui necessite pour une analyse donnee un nombre tres limite d'informations decrivant le domaine et les operateurs abstraits. Cet interprete est implemente en c, fonctionne avec precision et efficacite, et n'est pas restreint aux treillis abstraits de hauteur finie. Nous utilisons ensuite cet outil pour detecter certaines familles de proprietes, et expliquons comment un compilateur ou un repartiteur de programmes prolog peut tirer parti de telles informations
APA, Harvard, Vancouver, ISO, and other styles
9

CAMP, OLIVIER. "Les contraintes en programmation logico-fonctionnelle : application au langage miles." Paris 6, 1994. http://www.theses.fr/1994PA066336.

Full text
Abstract:
Depuis les annees 80 on s'est souvent penche sur l'integration des styles de programmation en logique et fonctionnelle. Le langage miles est le resultat d'une telle fusion. Il est obtenu en ajoutant a un noyau lisp les concepts d'un langage de programmation en logique: le non-determinisme, les variables logiques et l'unification. L'ajout de variables logiques dans un langage applicatif fait apparaitre de nouveaux objets: les expressions gelees. Dans cette these nous montrons comment celles-ci permettent, grace a l'unification, de definir des contraintes semblables a celles des clp. De plus, nous voyons comment on peut definir, en miles, un systeme de resolution gerant les contraintes numeriques du langage. Dans un premier temps nous nous focalisons sur les contraintes d'egalite. Nous etudions les algorithmes traditionnels de resolution de systemes lineaires et montrons comment ils doivent etre modifies pour permettre le traitement de contraintes d'egalite sur les reels. Nous montrons comment nous pouvons implanter ces algorithmes en miles pour obtenir un langage de programmation logico-fonctionnelle autorisant une utilisation active des contraintes d'egalite numeriques. Nous nous interessons ensuite aux contraintes d'inegalite numeriques du langage. Apres avoir montre comment une version modifiee de l'algorithme du simplex pouvait etre utilisee pour resoudre un systeme d'inequations lineaires de maniere incrementale, nous en proposons une definition en miles pour gerer les contraintes d'inegalite. Muni de ces deux systemes de resolution le langage miles devient un langage de programmation logico-fonctionnelle avec contraintes sur les reels. Il permet d'adopter les styles de programmation en logique avec contraintes et fonctionnel
APA, Harvard, Vancouver, ISO, and other styles
10

Janot, Stéphane. "Règles d'évaluation équitables en programmation logique." Lille 1, 1991. http://www.theses.fr/1991LIL10062.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Langages de programmation Programmation logique"

1

Doets, Kees. From logic to logic programming. MIT Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Koutchouk, Michel. Construction logique de programmes COBOL. 3rd ed. Masson, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

PLILP, '88 (1988 Orléans France). Programming languages implementation and logic programming: International workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

The craft of Prolog. MIT Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

European Symposium on Programming (2nd 1988 Nancy, France). ESOP '88: 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings. Springer-Verlag, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

M, Bruynooghe, and Wirsing M, eds. Programming language implementation and logic programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings. Springer-Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Grant, Malcolm, ed. Algebraic semantics of imperative programs. MIT Press, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Logic of domains. Birkhauser, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Glaser, Hugh. Principes de programmation fonctionnelle. Masson, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ferber, Jacques. Conception et programmation par objets. 2nd ed. Hermès, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Langages de programmation Programmation logique"

1

Bouhineau, Denis, and Stéphane Channac. "La programmation logique par contraintes pour l'aide à l'enseignant." In Intelligent Tutoring Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61327-7_131.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Langages de programmation Programmation logique' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography