Qu'est-ce que la programmation logique? (Avec des photos)
La programmation logique est un type de programmation informatique dans lequel le programmeur doit donner à l'ordinateur des instructions sur la manière de prendre des décisions en utilisant une logique mathématique, telle que l'utilisation d'un algorithme mathématique. Les programmes informatiques sont constitués d'un code qui indique à l'ordinateur quoi faire. Cependant, l'ordinateur finira par se trouver dans une instance où il devra décider de la marche à suivre et, sans aucune information sur la manière de procéder, il ne pourra pas remplir sa fonction actuelle. La programmation logique traite de ce type de décisions et donne des instructions à l'ordinateur pour qu'il puisse prendre une décision "logique" sur la meilleure façon de réagir à une situation donnée. Pour que la programmation logique fonctionne, le programmeur qui écrit le code doit s'assurer que ses déclarations ont un sens et sont vraies, donc logiques, et un programme informatique appelé démonstrateur de théorème est nécessaire pour prendre des décisions en fonction des déclarations qu'il rencontre dans le programmeur. code.
Un prouveur de théorèmes est un programme informatique conçu pour résoudre des énoncés mathématiques connus sous le nom de théorèmes. Les théorèmes sont des déclarations qui se révèlent vraies sur la base des déclarations précédentes. En programmation logique, le prouveur de théorèmes collabore 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 que B est égal à C, le prouveur de théorèmes conclura logiquement que A doit être égal à C. Ce processus est différent de ce que le programmeur dit simplement à l'ordinateur Code que A est égal à C parce que le programme informatique doit tirer cette conclusion en utilisant le prouveur de théorème et les déclarations d'origine 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 le créateur du prouveur de théorèmes doit s'assurer que le programme peut lire les déclarations et prendre les décisions les plus efficaces qui soient en fonction. 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 modifier et manipuler le code en fonction du fonctionnement du prouveur de théorèmes afin d'obtenir les résultats souhaités. Il ne suffit peut-être pas de donner des indications précises sur la manière de prendre une décision donnée pour que l'ordinateur remplisse sa fonction, et la programmeuse devra tester son code et procéder aux ajustements nécessaires.
Pour que la programmation logique fonctionne, il faut également un raisonnement en arrière. Dans le raisonnement en arrière, le programme tire des conclusions en examinant un ensemble de données et en s’appuyant sur des déclarations connues pour aboutir à des conclusions plus avancées. Le programme peut savoir que deux informations sont vraies et il en déduira que, puisque ces deux informations sont vraies, cela signifie qu'une troisième information est également vraie. Il continue ce processus jusqu'à ce qu'il parvienne à une conclusion logique basée sur les informations fournies. En raison de la façon dont cela fonctionne, la programmation logique est construite sur un langage de représentation déclarative, ce qui signifie que le programme indique à l'ordinateur ce qu'il doit faire, mais laisse le prouveur de théorème déterminer le moyen le plus logique ou le plus efficace pour exécuter la procédure demandée.