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, um eine logische Entscheidung darüber zu treffen, wie auf eine bestimmte Situation am besten reagiert werden kann.Damit die Logikprogrammierung funktioniert, muss der Programmierer, der den Code schreibtCode.

Ein Theorem-Prover bezieht sich auf ein Computerprogramm, das zur Lösung mathematischer Aussagen als Theorems konzipiert wurde.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 angibt, dass A gleich B und B ist, ist der Theorem-Prover die logische Schlussfolgerung, dass A gleich C sein muss. Dieser Prozess unterscheidet sich von dem Programmierer, der dem Computer in der einfach sagt,Code, dass A gleich C ist, da das Computerprogramm diese Schlussfolgerung unter Verwendung der Theorem-Prover und der ursprünglichen Aussagen der Programmierer im Code ziehen muss.

Theoretisch muss der Programmierer theoretisch nur sicherstellenRichtig und der Schöpfer des Theorem-Prover sollte sicherstellen, dass das Programm Aussagen lesen und die effizientesten Entscheidungen treffen kann.Die Fähigkeit, eine effiziente Entscheidung zu treffen, wird logisch als Computer bezeichnet.In Wirklichkeit überlappen sich die beiden Arbeitsbereiche, und diejenigen, die logische Programmierung durchführen, müssen den Code häufig ändern und manipulieren, basierend darauf, wie der 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.stützt sich auf rückwärts gerichtete Argumentation.In Rückwärtsgutung kommt das Programm zu Schlussfolgerungen, indem es sich um eine Reihe von Daten befasst und aus allgemeinen bekannten Aussagen arbeitet, 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 setzt diesen Prozess fort, bis er eine logische Schlussfolgerung basiert, die auf den von ihm 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.