Logische Programmierung: Unterschied zwischen den Versionen
Aus EINI
Marius (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Ein logisches Programm besteht aus immer wahren Aussagen und Regeln zur Ableitung weiterer Aussagen. Die Programmausführung wird durch eine Anfrage gestartet…“) |
|||
| (5 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | + | Die '''logische Programmierung''' ist ein [[Programmierparadigma]]. | |
| − | + | ||
| − | + | ||
| + | Ein '''logisches Programm''' besteht aus Axiomen (Grundannahmen) und aus Regeln, die anhand der gegebenen Axiome abgeleitet werden können. Die Programmausführung wird durch die Anfrage gestartet, ob (d.h. unter welchen Bedingungen) eine bestimmte Aussage wahr ist. | ||
| − | === | + | Im Endeffekt werden Relationen zwischen Termen beschrieben. |
| + | |||
| + | In der Praxis werden diese '''Programmiersprachen''' so gut wie gar nicht für Anwendungsprogramme verwendet. | ||
| + | |||
| + | |||
| + | ===Beispielsprache=== | ||
*Prolog | *Prolog | ||
Aktuelle Version vom 28. April 2017, 14:11 Uhr
Die logische Programmierung ist ein Programmierparadigma.
Ein logisches Programm besteht aus Axiomen (Grundannahmen) und aus Regeln, die anhand der gegebenen Axiome abgeleitet werden können. Die Programmausführung wird durch die Anfrage gestartet, ob (d.h. unter welchen Bedingungen) eine bestimmte Aussage wahr ist.
Im Endeffekt werden Relationen zwischen Termen beschrieben.
In der Praxis werden diese Programmiersprachen so gut wie gar nicht für Anwendungsprogramme verwendet.
Beispielsprache
- Prolog
