Langage PROLOG (Le)

PROLOG est une forme déclarative et naturelle de programmation ainsi qu’une formation aux systèmes experts. Il permet de tester les modélisations symboliques et logiques de toutes les disciplines en ouvrant la porte de l’intelligence artificielle. Avant de construire de véritables applications, il convient d’acquérir des bases solides. Avec PROLOG en particulier, la formalisation des connaissances disponibles est d’une importance fondamentale. Cet ouvrage initie le lecteur au mode de pensée récursif et à sa concrétisation pour la programmation déclarative. 120 programmes, de plus en plus élaborés, guident le lecteur à travers l’exposé didactique. Ce livre s’adresse aux informaticiens, enseignants, étudiants et chercheurs en offrant une initiation complète pour le débutant et un outil de travail au spécialiste comme complément idéal de ses formations.