Prolog ist eine leistungsstarke neue Programmiersprache mit Anwendungen an der Spitze der wissenschaftlichen Forschung. Es wurde in Frankreich von den Forschern in automatische maschinelle Übersetzung zwischen natürlichen Sprachen interessiert entwickelt. Es wurde dann in Schottland von Mathematikern in Computerprogramme, die automatisch beweisen mathematische Theoreme interessiert verfeinert. Es wurde in der Folge von den Japanern für die fünfte Generation Artificial Intelligence Project Amtssprache gewählt . Natural Language Translation

Using Prolog beinhaltet das Schreiben eine Reihe von Aussagen umreißt das Wissen in einem bestimmten Bereich eingeschränkt und dann Fragen zu dieser Domain . Prolog sucht automatisch durch die Aussagen und kommt mit allen möglichen Antworten, die im Einklang mit der Reihe von Aussagen . Wenn die Aussagen Definitionen und Grammatikregeln sind, könnten Prolog einen Kandidaten Satz und entscheiden, ob es eine gültige Satz in Bezug auf die Definitionen und Regeln der Sprache ist . Eine etwas anspruchsvollere Programm zurückkehren würde eine Übersetzung des Satzes , wenn er gültig ist.
Automatisches Beweisen

Wenn die Datenbank von Aussagen besteht aus mathematischen Beziehungen statt grammatische diejenigen , können Sie einen Satz als Frage gegossen und die Prolog -System wird mit einem " ja " oder "nein ", je nachdem , ob der Satz steht im Einklang mit der Datenbank von Fakten und Regeln zu reagieren. Zeige eine Erklärung steht im Einklang mit einer Reihe von Regeln und Fakten ist die gleiche wie die Prüfung einer vorgeschlagenen mathematischen oder logischen Satz zu sehen, ist es gültig. Prolog versteht weder Mathematik noch Logik - . Nur versteht Konsistenz
Data Mining

Prolog , ihrer Natur nach , setzt eine Datenbank . Aufgrund der Art Prolog Ausdrücke enthalten Variablen , kann eine Frage über die Datenbank zurück gewünschten Werte ein. Zum Beispiel die Abfrage " Bigger_than_a_breadbox (X) " zurückkehren wird ein "Nein" , wenn nichts in der Datenbank ist größer als ein Brotkasten . Wenn etwas ist , wird Prolog zurückkehren "yes" sowie eine Liste aller Dinge in der Datenbank, die einen verursacht "match . " . X = Das Empire State Building ; ; X = A Volkswagen und so weiter, je nach Inhalt der Datenbank
Robotics
X = Godzilla : Es wird eine Liste wie sein

Roboter müssen ständig fragen sich die gleiche Frage : "Was muss ich jetzt tun?" Die Datenbank, die verwendet werden, um diese Frage zu beantworten ist, kommt aus drei Quellen: der Sensoren , Speicher und Befehle von Menschen. Die Frage bleibt die gleiche, aber die Datenbank, die verwendet werden, um die Frage zu beantworten ist ständig ändert . Einer der Vorteile der Verwendung von Prolog mit einem Roboter ist, dass mehrere Prologe können zur gleichen Zeit auf der gleichen Datenbank. Die Augen können einen Prolog laufen , während die Beine noch Prolog laufen, ohne jede Einmischung , da weder Veränderungen der Datenbank .