Was ist Einleitungs-Sprache?

Einleitung ist eine ComputerProgrammiersprache, die auf Logik basiert. Die meisten Computersprachen basieren auf den Schritten, die benötigt werden, um ein Problem zu lösen. Die Einleitungssprache ist einerseits eine „Aussage“ Sprache, die die logischen Verhältnisse zwischen Wesen anzeigt. Die Weise, das Problem zu lösen wird den Computer überlassen. Die Namenseinleitung kommt vom französischen PROgrammation en LOGique d.h. Programm-Logik.

Das folgende ist ein einfaches Einleitungsprogramm:

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 (Jason, Joshua).

Das oben genannte Programm zeigt Gemeinplätze an. Wenn F Vater von C ist, dann ist F ein Vorfahr von C. Wenn P der Vater irgendeiner Person R ist, die ein Vorfahr von Q ist, dann ist P ein Vorfahr von Q., das einiger zutreffender Sachverhalt dann dargelegt wird, wie John, der der Vater von Jim ist. Wenn dann eine Problemfrage gestellt wird, ob John ein Vorfahr von Jeff ist, erhalten wir die Antwort „ja“ als unten:

? - Vorfahr (John, Jeff).
Ja

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

? - Vorfahr (A, Joshua)
A = Jason
A = jerry
A = Jim
A = John

Merken, dass in beiden oben genannten Fällen, das Programm nicht erklärte, wie man die Auswertung tut. Z.B. zeigte sie nicht an, ob man an der älteren Person beginnt und seine Weise zum Jugendlichen oder umgekehrt bearbeitet. Die Teile als unten auch, austauschend:

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

Es würde kein zum Programm unterscheiden, als beide diese Teile auf der Notwendigkeit der rechten Seite, damit die linke Seite werde zutreffend zu sein zutreffend.

Die Einleitungssprache konzentriert folglich sich auf den Verhältnissen und nicht auf, wie man das Problem löst. Während des Ablaufs des Programms baut Einleitung einige zutreffende Aussagen auf und stellt eine Wissensgrundlage her. Im Beispiel oben, würde die Wissensgrundlage, in keinem bestimmten Auftrag, Vorfahr (John, Jim), Vorfahr (Jim, jerry), Vorfahr (John, jerry), Vorfahr (Jim, Jason), Vorfahr (John, Jason), und so weiter haben. Diese Wissensgrundlage kann aufzubauen fortfahren, während das Programm durchführt, und kann leistungsfähig gesucht werden, um Lösungen zu erhalten. Die Durchführung kann die Simultanverarbeitung, simultane Durchführung verwenden durch mehrfache Computer.

Die Einleitungssprache wird in einigen Bereichen verwendet. Sie lief in den Systemen an, die für natürliche Sprachen wie Englisch übersetzt wurden; ist einer der Bereiche der künstlichen Intelligenz in einer natürlichen Sprache. Die Einleitungssprache wird auch in der symbolischen Mathematik, einschließlich Algebra verwendet. Sie wird in der Prüfung von Theoremen, in den Expertensystemen und in den Kontrollsystemen, unter vielen anderen Anwendungen verwendet.