Die Logikprogrammierung nutzt Beweisverfahren um aus einer Wissensbasis Anfragen abzuleiten. Die Hoffnung, damit von der prozeduralen zu einer rein deklarativen Programmierung zu kommen, wird durch Prolog leider nicht zufriedenstellend erfüllt, weshalb Prolog heute keine wichtige Rolle mehr spielt. Sehr elegant gelingt das hingegen mit dem in Abschn. 5.7 vorgestellten Constraint Logic Programming.