Was ist Prolog?
Prolog ist eine der frühesten Computerprogrammiersprachen und wurde in den frühen 1970er Jahren entwickelt und ist wahrscheinlich eine Kombination aus den Wörtern Programm und Logik. Zum Teil, weil es sich um sehr einfachen Code handelt, der Logik erster Ordnung und wenig Berechnung verwendet, wird er immer noch gern verwendet. Der ursprüngliche Befehlssatz wurde erheblich erweitert und zu vielen Varianten weiterentwickelt, da er sich besonders gut für die Verarbeitung von Sprache eignet. Diese beiden Hauptmerkmale des Programms ermöglichen die Verarbeitung für Anwendungen wie künstliche Intelligenz und automatisierte Telekommunikation.
Prolog verwendet eine formale Logik erster Ordnung. Die auf einen Computer hochgeladenen Anweisungen sind verbindlich. Sie haben keine unscharfe rechnerische Gewichtung. Im Ausdruck ist die Syntax der Sprache ein endlicher Satz von Regeln, und die Semantik wird in der Regel durch Mengen wie einzelne Deskriptoren, mehrere Listen und Zeichenfolgen oder durch einen Bereich wie numerische Sequenzen definiert.
Zusammen mit besser bekanntem Code wie HTML (Hypertext Markup Language) gehört Prolog zu einer Klasse von Software, die allgemein als deklarative Programmiersprachen bezeichnet wird. Dabei wird die einfache Aussage „X ist gleich Y“ verwendet, die als „Begriff“ definiert wird. Ein Computer ist sagte, was zu tun ist; Es wird nicht angewiesen, selbst zu berechnen, wie man dorthin kommt. Der Computer erhält eine Reihe von Fakten mit einem "Prädikat" und Beziehungen, die als "Klausel" definiert sind und aus denen eine Eingabeabfrage eine Schlussfolgerung zwischen "wahr" und "falsch" ergeben sollte. Es führt keinen Algorithmus aus, sondern leitet eine einfache Antwort durch Addieren und Subtrahieren oder Negieren seiner bekannten Menge von Definitionen ab. Computing in Prolog wird verwendet, um Theorien und ihre zugrunde liegenden Annahmen zu testen und zu beweisen, von fortgeschrittener Mathematik über Biologie bis hin zu Philosophie.
Eine der kognitiven Theorien der Intelligenz ist, dass es im Gehirn einen großen, aber endlichen lexikalischen Informationsspeicher gibt, der abgerufen, verarbeitet und rückgekoppelt wird, was zu einer größeren Komplexität oder Einfachheit der Informationen führt. Mit zunehmender Speicherkapazität und schnellem Zugriff ist dies das vorherrschende Paradigma, das den heiligen Gral der Informatik angetrieben hat - künstliche Intelligenz. Was für viele auf diesem Gebiet von entscheidender Bedeutung ist, sind die Benutzeroberfläche und die Sprache. Mit der Prolog-Programmierung können GUIs, die von Apple® entwickelte grafische Benutzeroberfläche, erstellt werden, indem einfach visuelle Symbole definiert werden. Es kann auch zum Lesen, Übersetzen und Erstellen von Gesichtsausdrücken verwendet werden.
Computerlinguistik ist wesentlich schwieriger, und während Prolog im Laufe der Jahre Fortschritte gemacht hat, um beispielsweise die einzigartigen grammatikalischen Prinzipien einiger Fremdsprachen zu berücksichtigen, fragen sich viele Forscher, ob sie die Sprache effektiv darstellen. Bei eingeschränkten Expertensystemen, z. B. Telefonleitungen des technischen Supports für die computergestützte Spracherkennung, wird die Prolog-Programmierung bis zu einem gewissen Grad wirksam eingesetzt. Es kann auch in Logiksoftware höherer Ordnung integriert werden - Quantifizierungssprachen wie C + oder Java -, aber Komprimierung und Portabilität bleiben Probleme, die für diese datenintensive Programmiersprache bestehen.