Logische Programmierung

Aus EINI
Version vom 10. Juli 2015, 14:08 Uhr von 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…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Ein logisches Programm besteht aus immer wahren Aussagen und Regeln zur Ableitung weiterer Aussagen. Die Programmausführung wird durch eine Anfrage gestartet, ob (unter welchen Bedingungen) eine bestimmte Aussage wahr ist.


Beispiel-Sprache

  • Prolog
Von „https://ls14-eini.cs.tu-dortmund.de/index.php?title=Logische_Programmierung&oldid=47“