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. Vorfahr (P, Q):- Vater (P, R), Vorfahr (R, Q)
Vater (John, Jim).
Vater (Jim, Jerry).
Vater (Jerry, Jason).
Vater (Jerry, Jeff).
Vater (Jason, Joshua).

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

?- Vorfahr (John, Jeff).
Ja

Wenn die Vorfahren von Joshua von Interesse sind, zeigt das Programm alle Vorfahren wie folgt:

?- Vorfahren (a, joshua)
A = jason
A = Jerry
A = jim
A = John

Beachten Sie, dass das Programm in beiden oben genannten Instanzen nicht ermittelt hat, wie die Bewertung durchgeführt werden soll. 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 wahr sein müssen, 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 baut Prolog eine Reihe von echten Staaten aufErstellen einer Wissensbasis. In dem obigen Beispiel hätte die KnowledgeBase in keiner bestimmten Reihenfolge Vorfahren (John, Jim), Vorfahr (Jim, Jerry), Vorfahr (John, Jerry), Vorfahr (Jim, Jason), Vorfahr (John, Jason) und so weiter. 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 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 verwendet, um Theoreme, in Expertensystemen und in Kontrollsystemen zu beweisen.