Was ist Prolog -Sprache?

Prolog ist eine Computerprogrammiersprache, die auf Logik basiert.Die meisten Computersprachen basieren auf den Schritten, die zur Lösung eines Problems erforderlich sind.Die Prolog -Sprache hingegen ist eine deklarative Sprache, die die logischen Beziehungen zwischen Entitäten anzeigt.Der Weg zur Lösung des Problems bleibt dem Computer überlassen.Der Name Prolog stammt aus der französischen Programmierung en logique, dh Programmierlogik.

Folgendes ist ein einfaches Prolog-Programm:

Vorfahr (F, C):- Vater (f, c)
Vorfahr (p, q):- Vater (P, R), Vorfahr (r, q)
Vater (John, Jim).
Vater (Jim, Jerry).
Vater (Jerry, Jason).
Vater (Jerry, Jeff).
Vater (Vater (Vater (VaterJason, Joshua).

Das obige Programm zeigt Truismen an.Wenn f Vater von C ist, dann ist f ein Vorfahr von C. Wenn P der Vater eines Menschen R ist, der ein Vorfahr von Q ist, dann ist P ein Vorfahr von Q. Anschließend werden eine Reihe wahrer Tatsachen gegeben, wie z.John ist der Vater von Jim.Wenn dann eine Problemfrage darauf gestellt wird, ob John ein Vorfahr von Jeff ist, erhalten wir die Antwort Ja wie unten:

?- Vorfahr (John, Jeff).Das Programm zeigt alle Vorfahren wie folgt an:

?- Vorfahr (a, joshua)

a ' jason

a ' jerry

a ' jim
a ' John

Beachtenwie man die Bewertung durchführt.Zum Beispiel zeigte es nicht an, ob sie bei der älteren Person anfangen und sich zur jüngeren Person bearbeiten oder umgekehrt.Auch die Teile wie unten austauschen:

Vorfahr (P, Q):- Vorfahr (R, Q), Vater (P, R)

Es würde keinen Unterschied für das Programm machen, da beide Teile auf der rechten Seite brauchenUm wahr zu sein, damit die linke Seite wahr ist.

Die Prolog -Sprache konzentriert sich somit auf die Beziehungen und nicht auf die Lösung des Problems.Während der Programmausführung erstellt das Prolog eine Reihe von echten Aussagen und erstellt eine Wissensbasis.Im obigen Beispiel hätte die Wissensbasis in keiner bestimmten Reihenfolge Vorfahren (John, Jim), Vorfahr (Jim, Jerry), Vorfahr (John, Jerry), Vorfahr (Jim, Jason), Vorfahr (John, Jason),usw.Diese KnowledgeBase kann weiter aufbauen, wenn das Programm ausgeführt wird, und kann effizient durchsucht werden, um Lösungen zu erhalten.Die Ausführung kann eine gleichzeitige Ausführung mit mehreren Computern mit einer gleichzeitigen Ausführung verwenden.

Die Prolog -Sprache wird in einer Reihe von Bereichen verwendet.Es begann in Systemen, die auf natürliche Sprachen wie Englisch ausgerichtet waren.Die natürliche Sprache ist einer der Bereiche der künstlichen Intelligenz.Die Prolog -Sprache wird auch in symbolischer Mathematik verwendet, einschließlich Algebra.Es wird zum Nachweis von Theoreme, in Expertensystemen und in Kontrollsystemen verwendet, unter anderem.