naPO (./1) :
La syntaxe est pourrie et on nous force à écrire les prédicats avant d'apprendre cette foutue syntaxe...
Puis après faut tout prouver...

Meme le CAML n'est pas aussi chiant.

Bref, le B, çaydlamerd.

Bah au moins c'est utilisable/utilisé pour faire des vrais programmes, contrairement à ocaml