Was ist logische Programmierung?

logische Programmierung ist eine Art von Computerprogrammierung, bei der der Programmierer die Computeranweisungen darüber geben muss, wie sie mithilfe der mathematischen Logik Entscheidungen treffen, z. B. die Verwendung eines mathematischen Algorithmus. Computerprogramme bestehen aus Code, der dem Computer mitteilt, was zu tun ist. Letztendlich wird der Computer jedoch in eine Instanz stoßen, in der er eine Entscheidung darüber treffen muss, wie er vorgehen soll, und ohne Informationen dazu, wie dies zu tun ist, seine aktuelle Funktion nicht erfüllen konnte. Die logische Programmierung befasst sich mit diesen Arten von Entscheidungen und gibt dem Computer Anweisungen, sodass eine "logische" Entscheidung darüber treffen kann, wie auf eine bestimmte Situation am besten reagiert werden kann. Damit die Logikprogrammierung funktioniert, muss der Programmierer, der den Code schreibt, sicherstellen, dass ihre Aussagen sinnvoll sind und wahr sind, somit logisch sind, und ein Computerprogramm, das als Theorem-Prover bekannt ist, ist erforderlich, um Entscheidungen auf der Grundlage der Aussagen, die er im Code des Programmierers begegnet, zu treffen.

A Theorem-Prover bezieht sich auf ein Computerprogramm, mit dem mathematische Aussagen als Theorems bekannt sind. Theoreme sind Aussagen, die basierend auf früheren Aussagen als wahr sind. In der logischen Programmierung arbeitet die Theorem-Prover zusammen mit den vom Computerprogrammierer erstellten Aussagen zusammen, um Schlussfolgerungen zu erreichen. Wenn der Code beispielsweise feststellt, dass A gleich b und b gleich C ist, wird der Theorem-Prover die logische Schlussfolgerung bringen, dass A gleich C sein muss. Dieser Prozess unterscheidet sich von dem Programmierer, der dem Computer einfach in dem Code entspricht, dass A gleich C ist, da das Computerprogramm diese Schlussfolgerung unter Verwendung des Theorem-Provers und der ursprünglichen Aussagen des Programmierers im Code im Code zeichnen muss.

theoretisch muss der Programmierer nur sicherstellenauf ihnen basierende Entscheidungen. Die Fähigkeit, eine effiziente Entscheidung zu treffen, wird als Computer "logisch" bezeichnet. In Wirklichkeit überschneiden sich die beiden Arbeitsbereiche, und diejenigen, die logische Programmierung durchführen, müssen den Code häufig ändern und manipulieren, basierend darauf, wie die Theorem-Prover funktioniert, um die gewünschten Ergebnisse zu erzielen. Einfach genaue Aussagen darüber zu geben, wie eine bestimmte Entscheidung getroffen werden kann, reicht möglicherweise nicht aus, um den Computer dazu zu bringen, die richtige Funktion auszuführen, und der Programmierer muss ihren Code testen und entsprechend Anpassungen vornehmen.

Damit die logische Programmierung funktioniert, basiert es auch auf Rückwärtsreden. In Rückwärtsgutung kommt das Programm zu Schlussfolgerungen, indem sie sich eine Reihe von Daten ansehen und aus allgemeinen bekannten Aussagen arbeiten, um fortgeschrittenere Schlussfolgerungen zu gelangen. Das Programm kann wissen, dass zwei Informationen wahr sind, und es wird schließen, dass diese beiden Informationsstücke wahr sind, was bedeutet, dass auch ein drittes Informationen wahr ist. Es coNtinues diesen Prozess, bis er eine logische Schlussfolgerung basiert, die auf den angegebenen Informationen basiert. Aufgrund der Funktionsweise der Funktionsweise basiert die logische Programmierung auf einer deklarativen Repräsentationssprache, was bedeutet, dass das Programm dem Computer mitteilt, was es tun sollte, aber es dem Theorem-Prover überlässt, um die logischste oder effizienteste Möglichkeit zur Durchführung des angeforderten Verfahrens zu bestimmen.