Table des matières:
Définition - Que signifie Prolog?
Programmation en Logique (Programming in Logic) ou Prolog est un langage de programmation de haut niveau qui a ses racines dans la logique du premier ordre ou le calcul des prédicats du premier ordre. La langue a été conçue à Marseille, en France, au début des années 1970 par un groupe dirigé par Alain Colmerauer. C'est l'un des premiers langages de programmation logique et il reste populaire aujourd'hui. Il s'agit d'un langage de programmation communément associé à la linguistique informatique et à l'intelligence artificielle. Il est utilisé dans les systèmes experts, la démonstration de théorèmes et l'appariement de motifs sur les arbres d'analyse du langage naturel et le traitement du langage naturel.
Techopedia explique Prolog
Le premier système Prolog a été développé en 1972 par Colmerauer avec Philippe Roussel et était basé sur l'interprétation procédurale de Robert Kowalski des clauses Horn. Il était également en partie motivé par le désir de concilier l'utilisation de la logique comme langage de représentation déclarative des connaissances avec la représentation procédurale des connaissances. Prolog a été délibérément développé pour le traitement du langage naturel - concerné par les interactions entre le langage informatique et le langage humain (naturel).
Prolog diffère des autres langages de programmation car il est déclaratif plutôt que des séquences de commandes. Il est parfois appelé langage basé sur des règles ou déclaratif car il est exprimé en termes de relations entre les propriétés des objets, présentés comme des faits et des règles. Un calcul est lancé en exécutant une requête sur ces relations.
Les applications comprennent:
- Apprentissage automatique
- Planification de robots
- Raisonnement automatisé
- Résolution de problème
- Récupération de base de données intelligente
- Compréhension du langage naturel
- Langue de spécification
