Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 5 votes.
Titre original :
Introduction to Logic Programming
Contenu du livre :
La programmation logique est un style de programmation dans lequel les programmes prennent la forme d'ensembles de phrases dans le langage de la logique symbolique.
Au fil des ans, la programmation logique a suscité un intérêt croissant en raison de ses applications dans les bases de données déductives, les feuilles de calcul automatisées, la gestion d'entreprise (règles commerciales), le droit informatique et le jeu en général. Ce livre présente la théorie de la programmation logique, la technologie actuelle et les applications populaires.
Dans ce volume, nous adoptons une approche innovante de la programmation logique, basée sur la théorie des modèles. Nous commençons par la notion fondamentale d'ensembles de données, c'est-à-dire d'ensembles d'atomes de base. À partir de cette notion fondamentale, nous introduisons les vues, c'est-à-dire les relations virtuelles, et nous définissons les programmes logiques classiques comme des ensembles de définitions de vues, écrits en utilisant la notation traditionnelle de type Prolog, mais avec une sémantique donnée en termes d'ensembles de données plutôt qu'en termes d'implémentation. Nous introduisons ensuite les actions, c'est-à-dire les ajouts et les suppressions d'atomes de base, et nous définissons les programmes logiques dynamiques comme des ensembles de définitions d'actions.
En plus du livre imprimé, il existe une version en ligne du texte avec un interprète et un compilateur pour le langage utilisé dans le texte et un environnement de développement intégré à utiliser pour développer et déployer des programmes logiques pratiques.
"Il s'agit d'un livre pour le 21e siècle : il présente une perspective élégante et innovante sur la programmation logique. Contrairement à d'autres textes, il prend les ensembles de données comme notion fondamentale, comblant ainsi le fossé entre les langages de programmation et les langages de représentation des connaissances ; et il traite les mises à jour sur un pied d'égalité avec les ensembles de données, ce qui conduit à un traitement solide et pratique de l'action et du changement". - Bob Kowalski, professeur émérite, Imperial College London.
"Dans un monde où l'apprentissage profond et Python sont les sujets du jour, ce livre est un développement remarquable. Il présente au lecteur les principes fondamentaux de la programmation logique traditionnelle et explique clairement les avantages de l'utilisation de la technologie pour créer des spécifications exécutables pour des systèmes complexes." - Son Cao Tran, professeur d'informatique, New Mexico State University.
"Excellente introduction aux principes fondamentaux de la programmation logique. Le livre est bien écrit et bien structuré. Les concepts sont expliqués clairement et la complexité croissante des exercices permet de comprendre rapidement les notions faciles avant de passer à des idées plus difficiles." - George Younger, étudiant, Université de Stanford.
Autres informations sur le livre :
| ISBN : | 9781681737249 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Nombre de pages : | 219 |
Achat:
Actuellement disponible, en stock.
