|
Prolog:
The Standard
Reference Manual
erratum
-
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.
- 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
- Prix
: 242 FF
- ISBN
: 3-540-59304-7
- Date
de parution : Avril 1996
|
|
