ELAN: a logical framework for prototyping logic programming languages with constraints
| Autor: | Vittek, Marian |
|---|---|
| Přispěvatelé: | Centre de Recherche en Informatique de Nancy (CRIN), Université Henri Poincaré - Nancy 1 (UHP)-Centre National de la Recherche Scientifique (CNRS), Université Henri Poincaré - Nancy 1, Claude Kirchner, UL, Thèses |
| Jazyk: | francouzština |
| Rok vydání: | 1994 |
| Předmět: |
[SPI.OTHER]Engineering Sciences [physics]/Other
Rewriting [SPI.OTHER] Engineering Sciences [physics]/Other Programmation logique Contrainte Sémantique Réécriture Règle production Programming language Semantics ELAN Non déterminisme Logical programming Langage programmation Constraint Unification Non determinism Implementation Prise décision Systèmes de (informatique) Cadre logique Sémantique opérationnelle Decision making Production rule |
| Zdroj: | Autre. Université Henri Poincaré-Nancy 1, 1994. Français. ⟨NNT : 1994NAN10372⟩ |
| Popis: | Not available La thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est basé sur l'idée que la sémantique opérationnelle de langages de programmation logique dans le sens général du terme et la résolution de contraintes peuvent être décrites d'une façon uniforme en donnant la syntaxe des formules, l'ensemble des axiomes et l'ensemble des règles de déduction. Les deux processus peuvent être vus comme l'instance du meme schéma d'application des règles de réécriture (de déduction) sur des formules, suivant une stratégie permettant l'obtention d'une forme spéciale. La logique de réécriture, introduite par Jose Meseguer, peut être ainsi utilisée pour coder différentes logiques intéressantes. Afin de pouvoir spécifier des procédures de résolution, la thèse présente une notion de stratégie, obtenant ainsi des systèmes de calcul. Un système de calcul est alors défini par une signature décrivant la syntaxe, un ensemble de règles de réécriture définissant le mécanisme de déduction et une stratégie qui guide l'application des règles. La thèse décrit également l'implantation d'ELAN et quelques exemples de procédures de résolution réalises avec cette implantation, en particulier la sld-resolution, la surréduction, la surréduction basique, la surréduction paresseuse et l'unification syntaxique et commutative |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|