Résumé
Ce livre peut être lu par toute personne ayant accès à un ordinateur disposant d'un système Prolog et sachant se servir d'un terminal informatique. La connaissance d'un langage de programmation n'est pas nécessaire. De nombreux exercices, corrigés en fin de volume, permettent au lecteur de vérifier qu'il a bien assimilé les notions exposées.
Sommaire
- Introduction
- Un sous-ensemble du langage Prolog, les clauses de Horn sans symbole de fonction
- Le langage Prolog pur
- Sémantique opérationnelle de Prolog pur
- Correction, terminaison, efficacité de programmes
- Exemples de programmes
- Arithmétique et syntaxe Prolog
- Contrôler le retour-arrière : la coupure
- Les prédicats extra-logiques
- Programmation métalogique et du second degré
- Exemples de programmes
- Les grammaires
- Les systèmes experts
- Corrigés des exercices
- Bibliographie
Voir tout
Replier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Ellipses |
| Auteur(s) | Jonathan Elbaz |
| Parution | 05/05/1998 |
| Nb. de pages | 256 |
| Format | 16,5 x 24 |
| Couverture | Broché |
| Poids | 472g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782729891640 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
