Qu'est-ce que la programmation logique?
La programmation logique est un type de programmation informatique dans laquelle le programmeur doit donner des instructions informatiques sur la façon de prendre des décisions en utilisant la logique mathématique, telles que l'utilisation d'un algorithme mathématique. Les programmes informatiques sont composés de code qui indique à l'ordinateur quoi faire. Finalement, cependant, l'ordinateur se heurtera à un cas où il doit prendre une décision sur la façon de procéder et sans aucune information sur la façon de procéder, il n'a pas pu remplir sa fonction actuelle. La programmation logique traite de ces types de décisions et donne des instructions à l'ordinateur afin qu'il puisse prendre une décision "logique" sur la meilleure façon de répondre à une certaine situation. Pour que la programmation logique fonctionne, le programmeur écrivant le code doit s'assurer que ses déclarations ont du sens et sont vraies, sont donc logiques, et un programme informatique connu sous le nom de théorème-prover est requis pour prendre des décisions en fonction des déclarations qu'elle rencontre dans le code du programmeur.
A Theorem-Prover fait référence à un programme informatique conçu pour résoudre des déclarations mathématiques appelées théorèmes. Les théorèmes sont des instructions qui sont réalisées comme une vraie base des instructions précédentes. Dans la programmation logique, le théorème-prover fonctionne avec les instructions créées par le programmeur informatique pour tirer des conclusions. Par exemple, si le code indique que A est égal à B et B est égal à C, le théorème-prover fera la conclusion logique selon laquelle A doit être égal à C. Ce processus est différent de ce que le programmeur indique simplement à l'ordinateur dans le code que A est égal à C car le programme informatique doit tirer cette conclusion en utilisant le théorème-prover et les états originaux du programmeur dans le code.
En théorie, pour que la programmation logique fonctionne, le programmeur doit seulement s'assurer que ses déclarations sont correctes et que le créateur du théorème-proverDes décisions fondées basées sur eux. La capacité de prendre une décision efficace est appelée un ordinateur fonctionnant «logiquement». En réalité, les deux domaines de travail se chevauchent, et ceux qui effectuent une programmation logique doivent souvent changer et manipuler le code en fonction de la façon dont le théorème-proverage fonctionne afin d'obtenir les résultats qu'ils souhaitent. Le simple fait de mettre des instructions précises sur la façon de prendre une certaine décision peut ne pas être suffisante pour amener l'ordinateur à remplir la bonne fonction, et le programmeur devra tester son code et effectuer des ajustements en conséquence.
Pour que la programmation logique fonctionne, elle s'appuie également sur le raisonnement arrière. Dans le raisonnement arriéré, le programme arrive à des conclusions en examinant un ensemble de données et en travaillant à partir de déclarations connues générales pour tirer des conclusions plus avancées. Le programme peut savoir que deux informations sont vraies, et il en déduire que ces deux informations sont vraies, cela signifie qu'une troisième information est également vraie. It coNTINUS ce processus jusqu'à ce qu'il atteigne une conclusion logique basée sur les informations qui lui sont données. En raison de son fonctionnement, la programmation logique est construite sur le langage de représentation déclarative, ce qui signifie que le programme indique à l'ordinateur ce qu'il devrait faire, mais le laisse au théorème-prover pour déterminer la manière la plus logique ou la plus efficace d'effectuer la procédure demandée.