Prolog

Inhalt

Definition - Was bedeutet Prolog?
Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.
Techopedia erklärt Prolog

Definition - Was bedeutet Prolog?

Programmation en Logique (Programming in Logic) oder Prolog ist eine Programmiersprache auf hoher Ebene, deren Wurzeln in der Logik erster Ordnung oder in der Prädikatenrechnung 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, Theoremprüfungen und Pattern Matching über natürlichsprachliche Analysebäume und die Verarbeitung natürlicher Sprache verwendet wird.

Eine Einführung in Microsoft Azure und die Microsoft Cloud | In diesem Handbuch erfahren Sie, worum es beim Cloud-Computing geht und wie Microsoft Azure Sie bei der Migration und Ausführung Ihres Unternehmens aus der Cloud unterstützen kann.

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: