Logische Programmierung (
Prädikative Programmierung) ist ein
Programmierparadigma, das auf der
mathematischen Logik beruht. Anders als bei der
imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von
Axiomen, welche hier als eine Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der
Interpreter, die Lösungsaussage allein aus den Axiomen zu berechnen.