Sinon je pense que les langages d'aujourd'hui (en particulier le C++) ne sont pas assez abstrait.

Bah oué, moi aussi, mais c'est pour que les développeurs qui bossent en langage fonctionnel ne soient pas perdus :/ (parce que je vois mal tt le monde développer en Prolog, même si ça pawa ).