Was ist logische Programmierung? (Mit Bildern)

Logisches Programmieren ist eine Art von Computerprogrammierung, bei der der Programmierer dem Computer Anweisungen geben muss, wie Entscheidungen unter Verwendung mathematischer Logik zu treffen sind, beispielsweise unter Verwendung eines mathematischen Algorithmus. Computerprogramme bestehen aus Code, der dem Computer mitteilt, was zu tun ist. Irgendwann wird der Computer jedoch auf eine Instanz stoßen, in der er eine Entscheidung treffen muss, wie er vorgehen soll, und ohne Informationen darüber, wie dies geschehen soll, seine aktuelle Funktion nicht ausführen kann. Die Logikprogrammierung verarbeitet diese Arten von Entscheidungen und gibt dem Computer Anweisungen, damit er eine "logische" Entscheidung darüber treffen kann, wie er auf eine bestimmte Situation am besten reagieren kann. Damit die Logikprogrammierung funktioniert, muss die Programmiererin, die den Code schreibt, sicherstellen, dass ihre Aussagen sinnvoll und wahr sind, also logisch, und ein Computerprogramm, das als Theorembeweiser bekannt ist, muss Entscheidungen auf der Grundlage der Aussagen treffen, auf die sie im Programmierer trifft Code.

Ein Theorembeweiser bezieht sich auf ein Computerprogramm, das entwickelt wurde, um mathematische Aussagen zu lösen, die als Theoreme bekannt sind. Theoreme sind Aussagen, deren Richtigkeit auf früheren Aussagen beruht. Bei der logischen Programmierung arbeitet der Theorembeweiser mit den vom Computerprogrammierer erstellten Anweisungen zusammen, um zu Schlussfolgerungen zu gelangen. Wenn der Code beispielsweise angibt, dass A gleich B und B gleich C ist, wird der Theorembeweiser die logische Schlussfolgerung ziehen, dass A gleich C sein muss Code, dass A gleich C ist, weil das Computerprogramm diese Schlussfolgerung unter Verwendung des Theorembeweisers und der ursprünglichen Anweisungen des Programmierers im Code ziehen muss.

Theoretisch muss die Programmiererin nur sicherstellen, dass ihre Aussagen korrekt sind, damit die logische Programmierung funktioniert, und der Schöpfer des Theorembeweisers muss sicherstellen, dass das Programm Aussagen lesen und die effizientesten Entscheidungen auf dieser Grundlage treffen kann. Die Fähigkeit, eine effiziente Entscheidung zu treffen, wird als "logisch" funktionierender Computer bezeichnet. In der Realität überlappen sich die beiden Arbeitsbereiche, und diejenigen, die logische Programmierung ausführen, müssen den Code häufig auf der Grundlage der Funktionsweise des Theorembeweisers ändern und manipulieren, um die gewünschten Ergebnisse zu erzielen. Nur genaue Aussagen darüber zu treffen, wie eine bestimmte Entscheidung getroffen werden soll, reicht möglicherweise nicht aus, um den Computer dazu zu bringen, die richtige Funktion auszuführen, und der Programmierer muss seinen Code testen und entsprechende Anpassungen vornehmen.

Damit die logische Programmierung funktioniert, wird auch auf das Rückwärtsdenken zurückgegriffen. In der Rückschau gelangt das Programm zu Schlussfolgerungen, indem es sich einen Datensatz ansieht und aus allgemein bekannten Aussagen weitergehende Schlussfolgerungen zieht. Das Programm kann wissen, dass zwei Informationsteile wahr sind, und es wird gefolgert, dass, da diese zwei Informationsteile wahr sind, dies bedeutet, dass auch ein dritter Informationsteil wahr ist. Dieser Vorgang wird fortgesetzt, bis eine logische Schlussfolgerung auf der Grundlage der angegebenen Informationen erzielt wird. Aufgrund seiner Funktionsweise basiert die logische Programmierung auf der deklarativen Darstellungssprache, dh, das Programm teilt dem Computer mit, was es tun soll, überlässt es jedoch dem Theorembeweiser, die logischste oder effizienteste Methode zur Ausführung der angeforderten Prozedur zu bestimmen.