Traditionelle Programmiersprachen ermöglichen es dem Programmierer, Aufgaben zu lösen, indem er Berechnungswege zu Lösungen spezifiziert. Eine neue Generation von Programmiersprachen enthält bereits implizit große Teile der Berechnung, da man nur angeben muß, welche Eigenschaften die Lösung besitzen soll. Bisher haben wir, wenn wir kleine Kinder zum Eiskaufen geschickt haben, ihnen den Weg zur Eisdiele gezeigt. Jetzt brauchen wir gewissermaßen nur noch das Eis zu beschreiben.