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 :
Il s'agit d'une introduction à la théorie de la programmation logique, à la technologie actuelle et aux applications populaires. Il s'agit d'une approche innovante de la programmation logique, fondée sur la théorie des modèles.
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 travail automatisées, la gestion d'entreprise (règles commerciales), le droit informatique et le jeu en général.
Il commence par la notion fondamentale d'ensembles de données, c'est-à-dire d'ensembles d'atomes de base. À partir de cette notion fondamentale, il introduit les vues, c'est-à-dire les relations virtuelles, et définit 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. Il introduit ensuite les actions, c'est-à-dire les ajouts et les suppressions d'atomes de base, et définit 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.
Autres informations sur le livre :
| ISBN : | 9781681737225 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Nombre de pages : | 219 |
Achat:
Actuellement disponible, en stock.
