PROLOG (Programmation Logique ) est un langage de programmation informatique déclarative souvent utilisé en programmation intelligence artificielle (IA) des applications. Un langage déclaratif est un langage de programmation qui détermine ce qui doit être fait en raison de critères spécifiques , plutôt que la façon dont quelque chose doit être fait. Origines

PROLOG a été créé entre 1971 et 1973 par Philippe Roussel et Alain Colmerauer comme un langage de développement pratique fondé sur l'idée du raisonnement déductif automatisé. La langue a permis formules doivent être interprétées de manière à ce que la conclusion logique pourrait être atteint . PROLOG a été initialement conçu comme un moyen d'automatiser le traitement du langage naturel, mais a rapidement été mis à profit pour le développement d' une application plus générale aussi. Il a été d'abord utilisé pour prendre des décisions déductives en fonction des commentaires en français écrit .
Mise en œuvre

En 1983, David H. Warren a créé une architecture de machine appelée « machine abstraite », ce qui pourrait guider applications PROLOG . Appelé le " Warren Abstract Machine " ( WAM ) , il est devenu la méthode de la mise en œuvre standard pour PROLOG .
Influence

PROLOG a eu un certain nombre d'affects sur le domaine de l'informatique. Comme le langauge de programmation originale à base de logique , il a permis pour les ajouts aux bases de données relationnelles pour créer une nouvelle forme de base de données dénommée bases de données dedutive . À partir des années 1980, il a influencé la formation de systèmes intelligents de l'informatique , de la programmation logique avec contraintes , la programmation logique inductive , et l'apprentissage de la machine.