Livre Prolog The Standard

Couverture livre : Prolog The Standard

Auteurs

Les auteurs ont contribué à la standardisation de Prolog au sein du groupe d'experts de l'ISO (International Standard Organization) :

Pierre Deransart : Directeur de recherche à l'INRIA
AbdelAli Ed-Dbali : Maître des conférences à l'université d'Orléans
Laurent Cervoni : Ingénieur à EDS-France

Informations complémentaires :
Editeur	Springer Verlag
Nombre de pages	278
ISBN	3-540-59304-7
Date de parution	Avril 1996
Feuilleter des extraits

About this book

This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. Moreover, it is the kernel language of many emerging logic programming languages which support constraints, functions and concurrency.

The book gives a comprehensible full description of the standardized language together with an executable specification. It enables system developers, application programmers and Prolog users to work with any standard conforming processor.

Keywords : Prolog - Standard - formal specification - language description - logic programming.

Descriptif

Ce livre est le premier manuel de référence du standard international du langage Prolog (PROgrammation en LOGique). Prolog est le plus célèbre des langages de programmation en logique. Il a vu le jour il y a une vingtaine d'années au sein de l'équipe marseillaise d'Alain Colmerauer. Ce langage est utilisé dans plusieurs domaines de l'industrie, tels que le génie logiciel, le multi-média, l'intelligence artificielle et les bases de données (dans les systèmes experts, les bases de données déductives, l'interface homme-machine, l'analyse du langage naturel). Il a été utilisé avec succès dans des domaines comme le transport, les télécommunications et le banquaire.

De plus, Prolog est le noyau de nouveaux langages logiques qui intègrent les concepts de programmation par contraintes, de programmation fonctionnelle ou de la concurrence.

Le livre donne une description complète, détaillée et pédagogique du standard de ce langage. Il est accompagné d'une spécification exécutable de Prolog écrite en Prolog lui même. Elle permet aux développeurs et aux utilisateurs de tester la conformité au standard du langage qu'ils fabriquent ou utilisent.

Mots clés : Prolog - Standard - spécification formelle - langage de description - Programmation en Logique.