WikiDer > Logikprogrammierung
Logikprogrammierung ist eine Form der Programmierung, die unter die deklaratives Paradigma. Eine häufig verwendete Logik Programmiersprache ist Prolog. Ebenfalls SQL ist eine deklarative Sprache, logische Sprachen finden hauptsächlich Anwendung in der Computerlinguistik und der künstliche Intelligenz. Induktiv Logikprogrammierung ist eine andere Form der Logikprogrammierung.
In einer deduktiven logischen Programmiersprache kann der Argumentationsprozess schematisch dargestellt werden als FaktenRegeln = Ergebnisse. Das Compiler/Dolmetscher kennt eine Reihe von Fakten, und versucht es mit Regeln eine ihm gestellte Frage zu beantworten. Beispiele für Tatsachen, die dem Dolmetscher bekannt sein können:
- Katzen haben Fell
- Ein Mantel besteht aus Haaren
In diesem Fall muss der Dolmetscher die Frage „Haben Katzen Haare?“ beantworten können.
Ein Beispiel für eine funktionale und logische Programmiersprache ist Curry.