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. C'est un langage de programmation couramment associé à la linguistique informatique et à l'intelligence artificielle et est utilisé dans les systèmes experts, la démonstration de théorèmes et la correspondance de modèles sur les arbres d'analyse du langage naturel et le traitement du langage naturel.
Definir Tech 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 de Horn. Elle était aussi en partie motivée 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é spécialement développé pour le traitement du langage naturel - concerné par les interactions entre l'ordinateur 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. On l'appelle parfois un langage à base de règles ou déclaratif car il est exprimé en termes de relations entre les propriétés des objets, présentées 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 robot
- Raisonnement automatisé
- Résolution de problèmes
- Récupération intelligente de la base de données
- Compréhension du langage naturel
- Langue de spécification