PROLOG (Programming Logic ) ist eine deklarative Programmiersprache oft in der Programmierung künstlicher Intelligenz (AI) -Anwendungen verwendet. Eine deklarative Sprache ist eine Programmiersprache, was als Folge der spezifischen Kriterien , anstatt , wie etwas getan werden sollte getan werden bestimmt . Origins

PROLOG wurde zwischen 1971 und 1973 von Philippe Roussel und Alain Colmerauer als praktische Entwicklung Sprache auf der Idee der automatisierten deduktiven basiert. Die Sprache erlaubt Formeln bis in einer Weise, dass eine logische Schlussfolgerung könnte interpretiert werden. PROLOG wurde ursprünglich als eine Möglichkeit zur Verarbeitung natürlicher Sprache automatisieren konzipiert , wurde aber bald setzen, um für allgemeine Anwendung Entwicklung zu nutzen. Zunächst wurde verwendet, um Entscheidungen auf der Grundlage deduktive Eingang in Französisch verfasst zu machen.
Umsetzung

1983 erstellt David H. Warren eine Maschine Architektur als ein " abstrakte Maschine , " was könnte PROLOG Anwendungen führen . Genannt die " Warren Abstract Machine " ( WAM ) , wurde es die Standard-Implementierung Methode für PROLOG .
Einfluss

PROLOG hat eine Reihe von Auswirkungen auf auf dem Gebiet der Informatik. Da die ursprüngliche Logik-basierte Programmierung langauge hat es für Zugänge zu relationalen Datenbanken erlaubt, eine neue Form der Datenbank bezeichnet als dedutive Datenbanken erstellen. Von den 1980er Jahren weiter , beeinflusst es die Bildung von intelligenten Computing-Systeme , Constraint -Logik -Programmierung, induktive logische Programmierung und maschinelles Lernen .