|
|
|
|
|
|
|
Prolog ist eine Programmiersprache, die maßgeblich von Alain Colmerauer, einem französischen Informatiker, Anfang der 1970er Jahre entwickelt wurde und zur Familie der logischen Programmiersprachen zählt.
Man kann die Sprache als "Maschinensprache eines Logik-Prozessors" bezeichnen, da sie auf den mathematischen Grundlagen der Prädikatenlogik beruht. Ein Prolog-Programm ist eine Sammlung von so genannten Horn-Klauseln.
Prolog-Programme bestehen aus einer Datenbasis, die Fakten und Regeln umfasst. Der Benutzer formuliert Anfragen an diese Datenbasis. Der Prolog-Interpreter benutzt die Fakten und Regeln, um systematisch eine Antwort zu finden. Ein positives Resultat bedeutet, dass die Antwort logisch ableitbar ist. Ein negatives Resultat bedeutet nur, dass aufgrund der Datenbasis keine Antwort gegeben werden kann. Dies hängt eng mit der Closed world assumption (Annahme der Weltabgeschlossenheit) zusammen.
Das typische erste Programm in Prolog ist nicht wie in prozeduralen Programmiersprachen ein Hallo-Welt-Beispiel, sondern eine Datenbasis mit Stammbauminformationen.
Folgendes Beispiel repräsentiert den Stammbaum einer kleinen Familie. Die Aussage mann(tobias) liest sich als: Tobias ist ein Mann. vater(tobias, frank) wird hier verwendet als: Tobias ist der Vater von Frank.
Der erste Prolog-Compiler wurde 1972 durch Phillippe Roussel entwickelt.
|
|
|
|
|
|
|
Person(en):
Zeitraum:
Firma: |
kein Eintrag vorhanden
- -
kein Eintrag vorhanden |
|
Es gibt 25 weiterführende Erklärungen oder Definitionen:
Anfrage, Benutzer, Compiler, Daten, Familie, Format, Inform, Informatik, Informatiker, Information, Interpreter, Logik, Maschine, Maschinensprache, Programm, Programmiersprache, Prozedur, Prozess, Prozessor, Rach,  Rage, Sprache, System, Wort, Zeichnen
|
|
Veröffentlicht am:
Zuletzt bearbeitet am:
Referenz:
|
07.05.2004 von Wilhelm Janssen (7094) Beiträge
28.08.2004 von Wilhelm Janssen
Wikipedia
|
| ..... Dieser Artikel aus Wikipedia wird durch die GNU FDL lizenziert. ..... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bei WinTotal finden Sie Programme und Tools für Microsoft Windows
|
|
| Werbung |
|
| | | | |
|
Bei Validome können Sie Ihre Website auf barrierefreies HTML testen |
|
|
