Logische Programmierung: Unterschied zwischen den Versionen
Aus EINI
| Zeile 1: | Zeile 1: | ||
| − | Ein '''logisches Programm''' besteht aus | + | 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=== | ===Beispielsprache=== | ||
*Prolog | *Prolog | ||
Version vom 23. März 2016, 21:41 Uhr
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
