paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 211233471Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Informations

Langue d'expression : Francais
Date de naissance :  1991
Note publique d''information : 
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

Notices d'autorité liées

Autres identifiants

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Equivalent dans un autre référentiel

... Références liées : ...