|
| Titre : | An introduction to logic programming through Prolog | | Type de document : | texte imprime | | Auteurs : | Michaël Spiny, Auteur | | Mention d'édition : | 1 edition | | Editeur : | London : Prentice Hall | | Année de publication : | 1996 | | Importance : | 251 p. | | Présentation : | ill | | Format : | 23 cm | | ISBN/ISSN/EAN : | 978-0-13-536047-7 | | Note générale : | Réf. bibliogr. et index. | | Langues : | Anglais | | Catégories : | Programmation des ordinateurs, logiciels, organisation des données
| | Mots-clés : | Logic programming Prolog (Computer program language) Prolog (langage de programmation) Programmation logique | | Index. décimale : | 005133 | | Résumé : |
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.
C'est l'un des rares textes qui combine trois thèses essentielles dans l'étude de la programmation logique: la logique qui donne aux programmes logiques leur caractère unique: la pratique d'une programmation efficace en utilisant la logique; et la mise en œuvre efficace de la programmation logique sur les ordinateurs. Le livre commence par une introduction en douceur à la programmation logique en utilisant un certain nombre d'exemples simples, suivi par un compte-rendu concis et autonome de la logique derrière la programmation Prolog. Cela conduit à une discussion sur les méthodes d'écriture des programmes afin que le processus de dérivation des réponses soit aussi efficace que possible. Les techniques sont illustrées par des exemples pratiques et la dernière partie du livre explique comment la programmation logique peut être impliquée efficacement. Il comprend du code source pour une implémentation Prolog petite mais complète écrite en Pascal. L'implémentation est capable d'exécuter tous les programmes présentés dans le livre et est disponible via Internet. | | Note de contenu : |
Introduction.
Programming with Relations.
Recursive Structures.
The Meaning of Logic Programs.
Inference Rules.
Unification and Resolution, SLD -Resolution.
SLD-Resolution and Answer Substitutions.
Negation as Failure. Searching Problems.
Parsing Evaluating and Simplifying Expressions.
Hardware simulations. Program Transformation.
About PicoProlog.
Implementing Depth-First Search, Representing Terms and Substitutions.
Implementation Notes.
Interpreter Optimizations.
In Conclusion. Bibliography,
Index. | | Permalink : | ./index.php?lvl=notice_display&id=14157 |
An introduction to logic programming through Prolog [texte imprime] / Michaël Spiny, Auteur . - 1 edition . - London : Prentice Hall, 1996 . - 251 p. : ill ; 23 cm. ISBN : 978-0-13-536047-7 Réf. bibliogr. et index. Langues : Anglais | Catégories : | Programmation des ordinateurs, logiciels, organisation des données
| | Mots-clés : | Logic programming Prolog (Computer program language) Prolog (langage de programmation) Programmation logique | | Index. décimale : | 005133 | | Résumé : |
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.
C'est l'un des rares textes qui combine trois thèses essentielles dans l'étude de la programmation logique: la logique qui donne aux programmes logiques leur caractère unique: la pratique d'une programmation efficace en utilisant la logique; et la mise en œuvre efficace de la programmation logique sur les ordinateurs. Le livre commence par une introduction en douceur à la programmation logique en utilisant un certain nombre d'exemples simples, suivi par un compte-rendu concis et autonome de la logique derrière la programmation Prolog. Cela conduit à une discussion sur les méthodes d'écriture des programmes afin que le processus de dérivation des réponses soit aussi efficace que possible. Les techniques sont illustrées par des exemples pratiques et la dernière partie du livre explique comment la programmation logique peut être impliquée efficacement. Il comprend du code source pour une implémentation Prolog petite mais complète écrite en Pascal. L'implémentation est capable d'exécuter tous les programmes présentés dans le livre et est disponible via Internet. | | Note de contenu : |
Introduction.
Programming with Relations.
Recursive Structures.
The Meaning of Logic Programs.
Inference Rules.
Unification and Resolution, SLD -Resolution.
SLD-Resolution and Answer Substitutions.
Negation as Failure. Searching Problems.
Parsing Evaluating and Simplifying Expressions.
Hardware simulations. Program Transformation.
About PicoProlog.
Implementing Depth-First Search, Representing Terms and Substitutions.
Implementation Notes.
Interpreter Optimizations.
In Conclusion. Bibliography,
Index. | | Permalink : | ./index.php?lvl=notice_display&id=14157 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesAn introduction to logic programming through Prolog / Michaël Spiny (1996)
