Mission nationale de sauvegarde du patrimoine scientifique et technique contemporain

Description

PROLISP est un langage de programmation interprété, c’est à dire qu’un programme, appelé interpréteur est chargé de l’exécution des phrases rédigées dans ce langage . Ce langage développé au début des années 1980 par l'Office national d'Etudes et de Recherches Aérospatiales - ONERA, combine deux des grands langages des années 1970, utilisés dans des applications d’Intelligence Artificielle : LISP et PROLOG. Le langage LISP spécifié en 1958 et développé dans les années 60 a montré ses capacités dans la programmation dite symbolique que l’on rencontre alors dans le développement de systèmes experts et les programmes de jeux notamment. Les deux langages prédominant à cette époque, Fortran et Cobol étaient plus adaptés à aux traitements numériques, scientifiques ou de gestion. Quant au langage PROLOG apparu dans les années 1970, il a introduit un nouveau style de programmation, dit de programmation logique, dans lequel le programmeur spécifie des faits et des règles sur des objets et leurs relations, pour poser des questions sur ces objets et relations; un moteur d’inférence, câblé dans l’interpréteur Prolog, produit alors les réponses. Les avantages et inconvénients de LISP et de PROLOG semblant largement complémentaires, plusieurs chercheurs ont cherché à associer ces deux langages dans un environnement commun : PROLISP développé au CERT est une des toutes premières réalisations françaises d’intégration de PROLOG dans un environnement LISP. L’interprète PROLISP est un ensemble de fonctions LISP, offrant ainsi au programmeur PROLISP des ponts entre les deux langages, comme par exemple la possibilité dans la définition de relations d’appel à des fonctions LISP dont le résultat, à l’exécution, sera associé à une variable logique. Ce type d’association permet d’exploiter au mieux la spécificité des deux langages.

Utilisation

Le langage PROLISP a été très utilisé au Département d’Études et de Recherches en Informatique - DERI, ainsi qu’au Département d’Automatique du CERT - DERA, dans le cadre de travaux de doctorants pour la réalisation de prototypes; dans le cadre de projets de recherche internes au Département pour le prototypage de diverses; dans les stratégies de résolution (interrogations dans des bases de connaissances), pour le couplage avec une base de données relationnelle, pour l’analyse d’exigences Génie Logiciel), pour la description et l’analyse de modélisation conceptuelle de divers systèmes d’informations, etc..; au Département d’Automatique pour des applications dans le domaine de la robotique, planification, etc