Compter les sous-ensembles de somme donnée

let rec compte_somme l cible =
  if cible = 0 then 1
  else if cible < 0 then 0
  else
    match l with
    | [] -> 0
    | x :: reste ->
        compte_somme reste (cible - x) + compte_somme reste cible

On remplace le « trouvé / pas trouvé » (||) par une addition des deux sous-comptes : avec x, sans x. Le cas cible = 0 compte $1$ (l'ensemble construit convient) ; cible < 0 compte $0$ (on a dépassé).