Logische Programmierung
Aus EINI
Version vom 3. März 2016, 19:44 Uhr von Kristin (Diskussion | Beiträge)
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
