Was heißt logische Programmierung? Sollte nicht jede Programmiersprache klar und einleuchtend sein, im landläufigen Sinne also logisch? Eine logische Sprache im engeren Sinn wie das im Folgenden exemplarisch vorgestellte Prolog meint allerdings etwas ganz anderes: Eine solche Sprache gründet sich explizit auf die formale Logik, genauer gesagt auf die Prädikatenlogik erster Ordnung. Diese Teildisziplin der Mathematik und der theoretischen Informatik verknüpft formalisierte logische Aussagen anhand streng definierter Schlussregeln. Auf diese Weise will etwa Prolog aus Fakten nach mathematischem Vorbild automatisch Schlussfolgerungen ableiten.
Logische Sprachen bilden eine Unterart des deklarativen Paradigmas, was bedeutet, dass sie nicht beschreiben, mit welchen Schritten ein Ergebnis zu berechnen ist. Sie definieren stattdessen vielmehr Wissen in Form von Fakten und Regeln und befragen