| Titre : | L'Art de Prolog |
| Auteurs : | Leon Sterling, Auteur ; Ehud Shapiro, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | masson |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1990 |
| ISBN/ISSN/EAN : | 978-2-225-81948-3 |
| Format : | 464 p. / ill., couv. ill. en coul. / 25 cm. |
| Note générale : | Bibliogr. p. 410-417. Index. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Prolog (langage informatique) |
| Résumé : | L'Art de Prolog (ou The Art of Prolog), écrit par Leon Sterling et Ehud Shapiro, est considéré comme la "bible" de la programmation logique. Contrairement à de simples manuels de syntaxe, ce livre enseigne une véritable méthodologie de pensée.Voici un résumé des piliers fondamentaux de l'ouvrage :1. La Philosophie : Algorithme = Logique + ContrôleLe livre s'appuie sur le paradigme de Robert Kowalski. En Prolog, le programmeur définit la logique (le "quoi" : les faits et les règles), tandis que l'interprète Prolog gère le contrôle (le "comment" : l'exploration de l'espace des solutions).2. Les Trois Parties de l'ApprentissageL'ouvrage est structuré pour faire passer le lecteur du logicien au développeur expert :A. La Programmation Logique PureOn y apprend à modéliser le monde via :Les Faits et les Règles : Établir des relations (ex: parent(jean, marie).).L'Unification : Le mécanisme de filtrage puissant qui permet de faire correspondre des termes.La Récursion : L'outil principal pour traiter des structures de données comme les listes ou les arbres.B. Les Techniques de ProgrammationSterling et Shapiro introduisent des concepts avancés pour rendre les programmes efficaces :Les Accumulateurs : Pour optimiser les calculs récursifs (similaire à la récursion terminale).Les Différences de Listes : Une technique ingénieuse pour concaténer des listes en temps constant $O(1)$.La Coupure (Cut !) : Apprendre à contrôler le retour sur trace (backtracking) pour éviter les calculs inutiles.C. Applications AvancéesLe livre démontre la puissance de Prolog dans des domaines spécifiques :L'Intelligence Artificielle : Jeux, systèmes experts et résolution de problèmes.Le Traitement du Langage Naturel (NLP) : Utilisation des grammaires de clauses définies (DCG).Les Compilateurs : Comment écrire facilement un interpréteur pour un autre langage.3. Les Points Forts de l'ApprocheRigueur Mathématique : Tout est basé sur la logique du premier ordre.Élégance du Code : Le livre encourage l'écriture de programmes courts, lisibles et déclaratifs.Approche "Bottom-Up" : On part de petits prédicats pour construire des systèmes complexes.Ce qu'il faut retenirL'Art de Prolog n'est pas seulement un livre sur un langage de programmation, c'est une invitation à voir les problèmes comme des ensembles de relations plutôt que comme des suites d'instructions. C'est l'ouvrage de référence pour quiconque souhaite comprendre comment la logique formelle peut devenir un outil de création logicielle. |
| Note de contenu : | Ouvrage de référence international sur ce langage. |
Exemplaires (5)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Info.A/4671 | 004/1489/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/4672 | 004/1489/2 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/4673 | 004/1489/3 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/4674 | 004/1489/4 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| Info.A/4675 | 004/1489/5 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
