Date : 1991
Editeur / Publisher : [S.l.] : [s.n.] , 1991
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : 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