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…“) |
|||
| Zeile 1: | Zeile 1: | ||
| − | Ein logisches Programm besteht aus immer wahren Aussagen und | + | Ein '''logisches Programm''' besteht aus immer wahren Aussagen und Regeln zur Ableitung weiterer Aussagen. Die Programmausführung wird durch die Anfrage gestartet, ob (d.h.unter welchen Bedingungen) eine bestimmte Aussage wahr ist. |
| − | Regeln zur Ableitung weiterer Aussagen. Die Programmausführung wird durch | + | |
| − | (unter welchen Bedingungen) eine bestimmte Aussage wahr ist. | + | |
| − | === | + | ===Beispielsprache=== |
*Prolog | *Prolog | ||
Version vom 3. März 2016, 19:44 Uhr
Ein logisches Programm besteht aus immer wahren Aussagen und Regeln zur Ableitung weiterer Aussagen. Die Programmausführung wird durch die Anfrage gestartet, ob (d.h.unter welchen Bedingungen) eine bestimmte Aussage wahr ist.
Beispielsprache
- Prolog
