Programmation Logique.

Dans le domaine de la logique mathématique, et plus spécifiquement dans la logique propositionnelle, nous nous sommes intéressés aux propositions comme éléments de base de notre langage de travail. 

Nous avons ensuite, enrichi cette logique des propositions en introduisant une nouvelle structure, celle de prédicat.

Le calcul des prédicats permet de s'intéresser à des énoncés relatifs à un ensemble d'objets, comme « Tout homme est mortel » ou à certains éléments de ces ensembles, comme « il existe des hommes mauvais ». 

L'introduction des notions de « quel que soit » et de « il existe » permettent de généraliser et paramétrer  la notion de proposition en calcul des prédicats.