Logikprogrammierung
Unter Logikprogrammierung versteht man einen Ansatz zur Programmierung, der auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Befehlen, sondern aus einer Menge von Axiomen, welche hier als eine reine Ansammlung von Fakten oder Annahmen zu verstehen sind. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter die Lösungsaussage allein aus den Axiomen zu berechnen. Eine der bekanntesten logischen Programmiersprachen ist Prolog.Anwendungen der Logikprogrammierung finden sich beispielsweise in folgenden Bereichen:
Siehe auch: Programmierparadigma, Constraintprogrammierung