Prolog (Programming in Logic ) ist ein einzigartiges Programmiersprache. Es wurde in Frankreich von Forschern, die Interesse an automatischer Übersetzung natürlicher Sprache entwickelt wurden. Es wurde in Schottland von Forschern, die Interesse an automatischen Beweiser waren perfektioniert. Es kam die Aufmerksamkeit der Welt , als die Japaner wählten sie als Basis für ihre Sprache " Fünften Generation" Artificial Intelligence (AI) -Projekt. Es gibt viele gute Gründe, um Prolog verwenden . Mit Prolog
Einer der besten Gründe, Prolog verwenden ist, dass Sie nicht haben , um den Computer zu sagen, wie ein Problem zu lösen --- man muss nur , um dem Computer die Regeln bei der Lösung der beteiligten Problem. Prolog -Programme bestehen aus einem sorgfältig geordnete Menge von Regeln, die wie folgt aussehen: Wenn X und Y und Z dann W. Dieses Regelwerk Grammatikregeln (wenn Sie auf natürliche Sprachen arbeiten) oder Regeln über Mathematik ( sein könnte, wenn Sie berufstätig sind auf automatische Beweiser ) oder Regeln über jede Domäne von Interesse. Die Regeln müssen diese Form : "Wenn (beliebige Anzahl von Vorgeschichte --- Vorgeschichte einschließlich Null ), dann ( Schluss ) . " Die Vorgeschichte muss mit dem "und" Verbindung angeschlossen werden. Sobald die Regeln in Kraft sind, können Sie eine Frage einreichen , und das Programm wird antworten " ja", "nein" oder " nicht sagen kann . "
Quantifizierung
Ein weiterer Grund für Prolog zu verwenden, ist, dass es sehr einfach ist, die Dinge in Prolog schwer in andere Sprachen auszudrücken auszudrücken. Es ist leicht zu Tatsachen in Prolog auszudrücken , aber es ist auch leicht zu komplexen Beziehungen zum Ausdruck, weil Prolog verwendet Quantifizierung Logik anstelle der einfacheren logischen andere Sprachen verwendet . Quantifizierung bedeutet nur, dass eine Variable können Attribute haben --- in anderen Worten, es ist nicht nur " Wenn A und B dann C " kann es auch "Wenn A ( a, b, c ) und B (m, n ), dann C (a, b , n) " , wobei a, b , c, m und n sind Attribute von A, B und C. Beispiel: Wenn zwischen (x, y , z ) und zwischen (x, k , y ), dann zwischen (x, k , z) " wäre schwer, in einer anderen Sprache auszudrücken --- es wäre sicherlich mehr als eine Zeile in einer anderen Sprache .
Unification
der Grund entscheiden sich viele Menschen Prolog ist, dass es automatisch nach einer Antwort suchen. Dieses in anderen Sprachen kann getan werden , aber es ist nicht automatisch und würden Hunderte oder Tausende von Zeilen Code beinhalten . Prolog wirklich bekommt seine Strom aus logischen Tools wie Quantifizierung und Wiedervereinigung. Vereinheitlichung bedeutet nur, dass zwei Dinge nicht gleich sein , so lange wie sie gemacht werden , indem Sie einige gleich Liste der Substitutionen übereinstimmen. zum Beispiel P (j, g) nicht gleich P (k, g) , aber sie können gleich gemacht werden, wenn (j = k) ist auf der Ersatz -Liste. Vereinheitlichung macht es einfach, etwas zu suchen , denn wenn Prolog Antworten "ja" oder "nein" wird es auch wieder die Substitution Liste, die notwendig sind, um die Dinge funktionieren wird . zum Beispiel, wenn die Tatsache, Hund ( reich, benji ) ist in Ihrer Datenbank und Sie stellen die Frage "Dog (reich , x) " . Prolog zurückkehren wird "ja" und die Substitution Liste (x = benji ) .
