La programmation logique est une forme de programmation qui définit les applications à l'aide d'un ensemble de faits élémentaires les concernant et de règles de logique leur associant des conséquences plus ou moins directes. Ces faits et ces règles sont exploités par un démonstrateur de théorème ou moteur d'inférence, en réaction à une question ou requête.
Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait. La programmation logique est considérée comme une programmation déclarative plutôt qu'impérative, car elle s'attache davantage au quoi qu'au comment, le moteur assumant une large part des enchaînements. Elle est particulièrement adaptée aux besoins de l'intelligence artificielle, dont elle est un des principaux outils.
Cet article écrit par ces auteurs est issu de Wikipédia et est conforme aux termes de la GFDL.
Catégories : Langage de programmation logique 
Paradigme de programmation Programmation informatique
Page imprimée mercredi 30 mai 2012 à partir de l'url :
« http://www.science-et-vie.net/definition-programmation-logique-1064.html »
Site déclaré à la Commission Nationale de l'Informatique et des Libertés (CNIL) sous le n°871314
© 2002-2012 www.science-et-vie.net