Contraintes symboliques en programmation en logique. Le schema clp (theories conceptuelles)

par FRANCK PORCHER

Thèse de doctorat en Sciences appliquées

Sous la direction de Christian Queinnec.

Soutenue en 1991

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'activite de programmation en prolog rend l'utilisation des termes fonctionnels necessaire. Ceux-ci servent a donner une description en comprehension des objets manipules par les predicats, et definissent le domaine de calcul associe au programme. Leur faible semantique, due a leur rigidite syntaxique, rend neanmoins leur manipulation peut commode, ainsi que l'expression des objets a representer. Par ailleurs, l'absence de mecanisme pour declarer leurs proprietes globales pour exprimer des proprietes du domaine semantique d'interet est a l'origine du probleme souleve par les representations non surjectives. La maniere d'y remedier pour eviter la production de termes sans interpretation desiree, a force et redondance de tests, n'est pas sans incidence sur la clarte, la declarativite et l'efficacite des programmes produits. Le schema clp (theories conceptuelles) presente dans cette these propose un cadre theorique pour la definition d'extensions de prolog destinees a depasser les limitations evoquees. Pour cela, les structures de representation offertes, specifiees par une theorie conceptuelle, proposent une programmation a deux niveaux de contraintes; l'un pour exprimer les proprietes locales des objets manipules par les predicats, l'autre pour exprimer des proprietes du domaine de calcul associe au programme, par un parametrage convenable de la theorie de contraintes qui le definit


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 68 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1991 286
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.