Programmation logique

Définition - Que signifie la programmation logique?

La programmation logique est un type de programmation informatique basé sur des règles logiques formelles. En un sens, la programmation logique correspond à l'utilisation d'équations mathématiques et d'autres constructions logiques pour orienter les résultats de la programmation.

Definir Tech explique la programmation logique

Une façon de base d'expliquer la programmation logique est qu'elle a généralement tendance à être des listes de règles logiques qui sont utilisées pour fournir des résultats de programmation. Une autre excellente façon de caractériser la programmation logique est de la mettre en contraste avec d'autres paradigmes qui se sont principalement développés plus récemment depuis les vieux jours du BASIC linéaire et du Fortran.

L'un d'eux est la programmation de fonctions, où au lieu d'utiliser des listes logiques, les langages de programmation utilisent des fonctions modulaires pour piloter les résultats de la programmation. Une autre innovation nouvelle est la programmation orientée objet, dans laquelle le langage de programmation informatique ordonne ses règles et ses processus en reconnaissant une série d'objets virtuels.

Dans la programmation orientée objet, utilisant des classes avancées avec divers attributs, les langages de programmation incorporent essentiellement beaucoup de logique dans l'architecture orientée objet. Cela a conduit certaines personnes à théoriser sur la façon dont la programmation logique elle-même est quelque peu obsolète en tant que véhicule principal du code compilé.

Cependant, comme l'ont souligné d'autres, la programmation logique est toujours en place - elle est simplement logée sous une structure architecturale différente.