Mission nationale de sauvegarde du patrimoine scientifique et technique contemporain

Description

Titre traduit : Prolog manual
Ce Manuel de référence portant le titre synthétique Delphia Prolog existe sous la forme d'un classeur contenant 266 pages. Son titre complet est "Delphia Prolog, système de programmation logique, Manuel de référence", et il a été édité en 1986 par la société Delphia, une société qui avait son siège à Seyssinet, près de Grenoble. Sa structure permet d'aborder les termes et la syntaxe spécifique à ce langage et de prendre en main les fonctions principales de ce langage. Il est accompagné de nombreux schémas.
PROLOG est un langage de programmation basé sur la logique symbolique. Il manipule des « termes », qui sont des structures de données arborescentes. Il cherche à démontrer les propriétés liant certains de ces termes entre eux. Au sein de chaque section, les questions concernent des propriétés qui sont interprétées comme des buts à prouver et qui activent le programme, tendant à prouver l'opérabilité de ces buts.
Le mécanisme de programmation de base appelé « unification » agit sur des structures d’enregistrement générales (qui sont les « termes » de la logique). Dans la version fournie par Delphia, le langage Prolog est compilé, une innovation permettant de gagner un facteur 30 sur les versions classiques interprétées.
Son concept modulaire et son environnement de programmation, de type station de travail multi-fenêtres, a été étudié de façon à faciliter les mises au point, à l'aide de modules utilisés comme outils d’abstraction pouvant s’adapter à la nature dynamique de Prolog, avec des espaces de clauses indépendantes et orientées objets.
Le système Prolog de Delphia offre une « ouverture » qui permet de réutiliser des composants logiciels bâtis à l'aide d’autres langages, par exemple en « C ».
Les objets manipulés par Prolog sont nommés « termes ». Ils sont dits « atomiques » s’ils consistent en des « feuilles » représentés par un symbole (une lettre minuscule suivie d’une séquence ou suite de caractères alphabétiques), et sont dits « composés » si on peut les assimiler à des « arbres » permettant de décrire des données structurées (par exemple un arbre généalogique).
Un terme composé (ou structuré) est constitué d’un atome appelé « foncteur » (ou symbole fonctionnel), et d’une suite de termes appelés « arguments ». L’atome correspondant au foncteur s’écrit généralement suivi de ses arguments.
Les « listes » sont des structures de données ayant un rôle important dans le langage Prolog. Le premier argument de la liste a un rôle équivalent à un « foncteur ». La liste vide est considérée comme un atome.
Une variable peut être soit « libre », si elle n’a pas encore pris la valeur d’un autre terme ; soit « liée » à une autre variable dont elle prend alors la valeur ; soit « instanciée » à un terme dont elle prend la valeur, ce qui implique que les traitements sur l’un s’appliqueront aussi sur l’autre terme.
Les « opérateurs » peuvent être « préfixés » (l’opérateur précède son argument), « postfixés » (l’opérateur suit son argument), ou « infixés » (l’opérateur est entre ses deux arguments). Une « associativité » est définie pour chaque opérateur, pour lever toute ambiguïté dans le but de rendre opérationnels plusieurs opérateurs.
« Les prédicats » permettent de définir le format qui est requis pour un terme et de vérifier si son affectation est bien exacte. Prolog manipule les termes (données structurées arborescentes) : « l’unification » ou « la substitution » consiste à rendre identiques deux « arbres » contigus.
« La résolution » d’un problème consiste en une « question » pour laquelle Prolog doit trouver un « but » qui sera « vrai » ou « faux ». S'il est « vrai » et qu’il y a arborescence, un « point de choix » permet de poser une autre question.
Ce classeur est à considérer en lien avec un second classeur ayant été édité par la même société, dont le titre est "Mylog, Générateur de systèmes experts, Manuel de référence" (voir AC_25440-02).

Utilisation

Autour des années 1985, le volume croissant d’applications dédiées à l’Intelligence Artificielle demande au langage Prolog de bien prendre en compte l’environnement de programmation, les qualités de modularité et d’ouverture.
Le langage Prolog de la société Delphia a été utilisé par cette société en lien avec son logiciel « expert » Mylog. Grâce à sa qualité « d’ouverture », les utilisateurs de Mylog (voir le Manuel Mylog AC_25440-02, page.1.14) peuvent l’utiliser pour insérer des modules écrits en divers autres langages, comme le langage "C". L’accès aux systèmes de gestion de bases de données relationnelles devient alors possible.

Retour