Logische Programmierung
Die Logikprogrammierung verwendet mathematische Logik, um Computerprogramme zu schreiben. Es gibt spezialisierte Programmiersprachen, in denen der Benutzer logische Aussagen direkt eingeben kann. Die wohl bekannteste dieser Sprachen heißt Prolog. Alonzo Church verwendete eine Form der Logikprogrammierung in dem, was heute als Lambda-Kalkül bekannt ist. Logikprogrammierung wurde auch in LISP verwendet.
Programme bestehen aus einer Reihe von Regeln und Fakten. In den meisten Fällen verwendet die Logikprogrammierung die so genannte Negation als Fehlschlag oder schwache Negation: Das bedeutet, dass, wenn es nicht möglich ist, aus den Fakten und Regeln einen Satz p {\darstellungsstil p}
abzuleiten, das System annimmt, dass seine Negation wahr ist.
Fragen und Antworten
F: Was ist logische Programmierung?
A: Logikprogrammierung ist ein Ansatz zur Programmierung, bei dem mathematische Logik zum Schreiben von Computerprogrammen verwendet wird.
F: Welche Programmiersprachen verwenden die Logikprogrammierung?
A: Einige Programmiersprachen, die die logische Programmierung verwenden, sind Prolog und LISP.
F: Welche Rolle spielen Regeln und Fakten bei der logischen Programmierung?
A: Programme in der logischen Programmierung bestehen aus einer Reihe von Regeln und Fakten.
F: Was ist die Negation als Fehlschlag in der logischen Programmierung?
A: Die Negation als Fehlschlag ist ein Konzept in der logischen Programmierung, bei dem, wenn es nicht möglich ist, eine bestimmte Klausel aus den Fakten und Regeln abzuleiten, das System annimmt, dass ihre Negation wahr ist.
F: Was ist eine schwache Negation in der Logikprogrammierung?
A: Schwache Negation ist ein anderer Begriff für Negation als Fehlschlag, ein Konzept in der Logikprogrammierung.
F: Wer hat eine Form der logischen Programmierung im Lambda-Kalkül verwendet?
A: Alonzo Church verwendete eine Form der logischen Programmierung in dem, was heute als Lambda-Kalkül bekannt ist.
F: Welches ist die bekannteste Programmiersprache, die die direkte Eingabe von logischen Aussagen ermöglicht?
A: Prolog ist wahrscheinlich die bekannteste Programmiersprache, die die direkte Eingabe von logischen Aussagen ermöglicht.
