Prolog ist eine Programmiersprache für "KI" (Künstliche Intelligenz).
Man kann damit auf recht hoher Abstraktionsebene Probleme und Daten beschreiben und wenn man genau definiert, wie eine Lösung auszusehen hat, dann findet Prolog auch eine Lösung (früher oder später 
), ohne dass man dafür einen Algorithmus angeben muss - denn der Algorithmus ist eingebaut: Tiefensuche mit sog. Backtracking.
Besonders zu empfehlen zum Lösen von Logikproblemen, die heftiges Durchprobieren erfordern, das kann Prolog sehr schnell.