Inhaltsverzeichnis:
Definition - Was bedeutet Prolog?
Programmation en Logique (Programmieren in Logik) oder Prolog ist eine Programmiersprache auf hoher Ebene, deren Wurzeln in der Logik erster Ordnung oder in der Prädikatenkalkulation erster Ordnung liegen. Die Sprache wurde in den frühen 1970er Jahren in Marseille, Frankreich, von einer Gruppe unter der Leitung von Alain Colmerauer entwickelt. Es ist eine der ersten logischen Programmiersprachen und ist bis heute beliebt. Es ist eine Programmiersprache, die üblicherweise mit Computerlinguistik und künstlicher Intelligenz in Verbindung gebracht wird und in Expertensystemen, Theorembeweisen und Musterabgleich über natürlichsprachliche Analysebäume und Verarbeitung natürlicher Sprache verwendet wird.
Techopedia erklärt Prolog
Das erste Prolog-System wurde 1972 von Colmerauer zusammen mit Philippe Roussel entwickelt und basierte auf Robert Kowalskis prozeduraler Interpretation der Horn-Klauseln. Teilweise wurde es auch durch den Wunsch motiviert, die Verwendung von Logik als deklarativer Wissensrepräsentationssprache mit prozeduraler Wissensrepräsentation in Einklang zu bringen. Prolog wurde speziell für die Verarbeitung natürlicher Sprache entwickelt - die sich mit Interaktionen zwischen Computer und menschlicher (natürlicher) Sprache befasst.
Prolog unterscheidet sich von anderen Programmiersprachen, da es deklarativ ist und keine Befehlssequenzen. Es wird manchmal als regelbasierte oder deklarative Sprache bezeichnet, da es sich um Beziehungen zwischen Objekteigenschaften handelt, die als Fakten und Regeln dargestellt werden. Eine Berechnung wird initiiert, indem eine Abfrage über diese Beziehungen ausgeführt wird.
Anwendungen umfassen:
- Maschinelles Lernen
- Roboterplanung
- Automatisiertes Denken
- Probleme lösen
- Intelligente Datenbankabfrage
- Natürliches Sprachverständnis
- Spezifikationssprache
