Prolog

Contenu

Définition - Que signifie Prolog?
Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
Techopedia explique Prolog

Définition - Que signifie Prolog?

Programmation en Logique (Programming in Logic) ou Prolog est un langage de programmation de haut niveau qui tire ses racines de la logique du premier ordre ou du calcul de prédicats de 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. Il 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 en langage naturel et le traitement du langage naturel.

Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.

Techopedia explique Prolog

Le premier système Prolog a été développé en 1972 par Colmerauer en collaboration avec Philippe Roussel et s’appuie sur l’interprétation procédurale des clauses Horn donnée par Robert Kowalski. Il était également en partie motivé par le désir de réconcilier l'utilisation de la logique en tant que langage de représentation déclarative du savoir avec la représentation procédurale du savoir. Prolog a été développé à dessein pour le traitement du langage naturel - il concerne 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 déclaratif ou basé sur des règles car il est exprimé en termes de relations entre les propriétés des objets, présentées sous forme de faits et de règles. Un calcul est lancé en lançant une requête sur ces relations.

Les applications incluent: