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, comme 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 est nécessaire pour prendre des décisions basées sur les déclarations qu'il rencontre dans les programmeursCode.

Un théorème-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 que A doit être égal à C. Ce processus est différent du programmeur indiquant simplement à l'ordinateur dans l'ordinateurCode selon lequel A est égal à C car le programme informatique doit tirer cette conclusion en utilisant le théorème-prover et les instructions originales des programmeurs dans le code.

En théorie, pour que la programmation logique fonctionne, le programmeCorrect et le créateur du théorème-proverage doit s'assurer que le programme peut lire les instructions et prendre les décisions les plus efficaces en fonction d'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.Il ne suffit pas de faire en sorte que l'ordinateur exécute la fonction correcte, et le programmeur devra tester son code et faire des ajustements en conséquence.

Pour que la programmation logique fonctionne, elle aussis'appuie sur le raisonnement en 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.Il poursuit ce processus jusqu'à ce qu'il atteigne une conclusion logique en fonction des informations qu'elle a 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.