- Prolog ist eine einfache und deklarative Logikprogrammiersprache, homoikonisch und sehr dynamisch.
- Die Syntax von Prolog ist leicht zu verstehen und zu verwenden, und alle Daten werden als Prolog-Terme und durch das einzige Sprachelement der „Klausel“ ausgedrückt.
- Eine Klausel in Prolog hat die Form
Head :- Body und bedeutet, dass Head ebenfalls gültig ist, wenn Body gültig ist.
- Prolog ist eine Turing-vollständige Programmiersprache, und jede bekannte Berechnung kann mit ihren Klauseln beschrieben werden.
- Als deklarative Sprache konzentriert sich Prolog darauf, das zu spezifizieren, was uns interessiert, und auszudrücken, was für die Lösung, die wir finden wollen, gültig ist.
- Der deklarative Charakter von Prolog ermöglicht sehr prägnante, klare und allgemeine Spezifikationen.
- Prolog ist eine Logikprogrammiersprache; ein reines Prolog-Programm besteht aus einer Menge von Horn-Klauseln, und seine Ausführung kann als Spezialfall der Resolution betrachtet werden.
- Prolog ist eine homoikonische Sprache, in der Prolog-Programme zugleich gültige Prolog-Terme sind. Das macht es einfach, Prolog-Programme zu schreiben, die andere Prolog-Programme analysieren, transformieren oder interpretieren.
- Prolog ist eine sehr dynamische Sprache, in der Programme leicht erzeugt, aufgerufen und verändert werden können.
- Die dynamischen Eigenschaften von Prolog sind ideal, um Programme zu schreiben, die durch benutzerdefinierte Regeln erweitert werden können, die von anderen Programmierern und allgemeinen Nutzern bereitgestellt werden.
- Prolog ist eine äußerst vielseitige Sprache; aufgrund ihrer relationalen Eigenschaften sind Prolog-Programme sehr flexibel und allgemein.
- Die Vielseitigkeit und Stärke von Prolog beruhen auf impliziten Mechanismen wie Suche, Unifikation, Argument-Indexierung und Constraint Propagation.
1 Kommentare
Hacker-News-Diskussion