Bah le CamL peut être fonctionnel, d'un certain point de vue (mais je ne connais que peu ce langage). En tous cas, c'est plus fonctionnel que le Prolog