Identifiant pérenne de la notice : 211322016
Notice de type
Notice de regroupement
Note publique d'information : AU DEBUT DES ANNEES 80, UN GRAND NOMBRE DE VERSIONS DU LANGAGE PROLOG COHABITAIENT,
DIFFERENCIEES PAR LEUR SYNTAXE, LES PREDICATS PREDEFINIS ET AUSSI LEUR SEMANTIQUE
OPERATIONNELLE. L'AFNOR (ASSOCIATION FRANCAISE POUR LA NORMALISATION) ET LA BSI (BRITISH
STANDARDS INSTITUTION) DECIDERENT EN 1984 DE DEFINIR UN PROLOG STANDARD; L'ISO (INTERNATIONAL
STANDARD ORGANISATION) OFFICIALISA CE PROJET EN 1987 EN CREANT UN GROUPE DE TRAVAIL.
DANS CE CADRE PRECIS, NOTRE OBJECTIF ETAIT DE DONNER UNE DEFINITION FORMELLE DE LA
SEMANTIQUE OPERATIONNELLE DE PROLOG, EN UTILISANT COMME LANGAGE DE SPECIFICATION LES
CLAUSES DE HORN AUGMENTEES DE LA NEGATION. L'INTERET D'UNE TELLE APPROCHE EST: LA
SPECIFICATION, DECRIVANT UN ARBRE DE RECHERCHE GENERALISE, EST BIEN COMPRISE DANS
LA COMMUNAUTE PROLOG ET SATISFAIT BON NOMBRE DES CRITERES IMPOSES A CE TYPE DE REALISATION
(MINIMALITE, EXTENSIBILITE, ETC...); NOUS POUVONS PARTIELLEMENT DES PROPRIETES DE
CORRECTION ET COMPLETUDE, ASSURANT D'UNE CERTAINE MANIERE LA CONSISTANCE DE LA DEFINITION.
UN DES OBSTACLES A LA REALISATION DES PREUVES COMPLETES EST LA TAILLE DE LA SPECIFICATION
MANIPULEE; NOUS DERIVONS SIMPLEMENT UNE SPECIFICATION EXECUTABLE, OUTIL DE TEST DE
LA VALIDITE DE LA VERSION FORMELLE; UN INCONVENIENT EST, QU'IL EST DIFFICILE DE FAIRE
DES PREUVES DE PROPRIETES DE PROGRAMMES EN L'ABSENCE D'OUTILS FORMELS DE MANIPULATION
DES ARBRES DE RECHERCHE. ACTUELLEMENT INTEGREE DANS LE DOCUMENT DE TRAVAIL ISO (ISO/IEC
JTC1 SC22 WG17 N28 FEBRUARY 1989), LA SPECIFICATION FORMELLE SEMBLE EN BONNE VOIE
POUR FIGURER DANS LE DOCUMENT FINAL DEFINISSANT PROLOG STANDARD