Was logisch programmiert?

Die logische Programmierung ist eine Art Computerprogrammierung, in der der Programmierer die Maschineninstruktionen in, wie man erteilen muss Entscheidungen using formale Logik, wie den Gebrauch von einem mathematischen Algorithmus trifft. Computerprogramme bestehen Code, der dem Computer was erklärt zu tun. Schließlich jedoch läuft der Computer in einen Fall, in dem er eine Entscheidung auf, wie man treffen muss fortfährt und ohne irgendwelche Informationen über, wie man dies, er könnte seine gegenwärtige Funktion nicht abschließen tut. Die Logikprogrammierung beschäftigt diese Arten von Entscheidungen und erteilt Anweisungen zum Computer, also kann es eine „logische“ Entscheidung über, wie man gut treffen einer bestimmten Situation begegnet. Damit die Logikprogrammierung, der Programmierer arbeitet, der den Code schreibt, muss sicherstellen, dass sie Aussagen sinnvoll ist und zutreffend ist, so logisch ist und ein Computerprogramm, das als ein TheoremProver bekannt ist, angefordert, um die Entscheidungen zu treffen, die auf den Aussagen basieren, die es im Code des Programmierers antrifft.

Ein TheoremProver bezieht ein auf Computerprogramm, das entworfen worden, um die mathematischen Aussagen zu lösen, die als Theoreme bekannt sind. Theoreme sind Aussagen, die gezeigt, um zutreffendes zu sein basiert auf vorhergehenden Aussagen. In der logischen Programmierung arbeitet der TheoremProver zusammen mit den Aussagen, die durch den Computerprogrammierer verursacht, um zu Schlussfolgerungen zu kommen. Z.B. wenn der Code angibt, dass A B gleich ist und B C gleich ist, bildet der TheoremProver die logische Folgerung, die A C. gleich sein muss. Dieser Prozess ist unterschiedlich als der Programmierer, der einfach den Computer im Code erklärt, der A C gleich ist, weil das Computerprogramm diese Zusammenfassung using den TheoremProver und die ursprünglichen Aussagen des Programmierers im Code zeichnen muss.

In der Theorie damit die logische Programmierung, die Notwendigkeiten des Programmierers nur, zu garantieren, dass ihre Aussagen korrekt sind und der Schöpfer des TheoremProver sollte garantieren arbeitet, dass das Programm kann Leseanweisungen und die leistungsfähigsten Entscheidungen treffen, die auf ihnen basieren. Die Fähigkeit, eine leistungsfähige Entscheidung zu treffen gekennzeichnet als ein logisch arbeitender Computer „.“ In Wirklichkeit überschneiden die zwei Felder der Arbeit, und die, die logisches häufig durchführen programmieren, müssen ändern und manipulieren den Code, der basiert auf, wie man die TheoremProverarbeiten zwecks die Resultate sie wünschen erzielt. In genaue Aussagen kann über, wie man einfach setzen eine bestimmte Entscheidung möglicherweise nicht genug sein trifft, zum des Computers zu erhalten, um die korrekte Aufgabe wahrzunehmen, und der Programmierer muss ihren Code prüfen und Justagen dementsprechend vornehmen.

Damit die logische Programmierung arbeitet, beruht es auch auf Rückwärtsverkettung. In der Rückwärtsverkettung kommt das Programm zu den Zusammenfassungen, indem es einen Satz Daten betrachtet und von den allgemeinen bekannten Aussagen arbeitet, um zu vorgerückteren Schlussfolgerungen zu kommen. Das Programm kann wissen, dass zwei Information zutreffend ist, und es schließt dass, da jene zwei Information zutreffend ist, dass Mittel ein dritte Information auch zutreffend ist. Es fortsetzt diesen Prozess es, bis es eine logische Folgerung erreicht, die auf den Informationen basiert, die sie gegeben. Wegen der Weise, die es funktioniert, aufgebaut die logische Programmierung auf Aussagedarstellungssprache e-, erklärt die Bedeutung des Programms den Computer, was es tun sollte, aber, es bis zum TheoremProver zu lassen, um das logischste oder die effiziente Art festzustellen, das geforderte Verfahren durchzuführen.