D. , C. , U. , M. , D. D1=1 et al., 10 Solutions /* casse-tête arithmétique UNE + UNE = DEUX */ predicates ch(integer) solution(integer,integer,integer,integer,integer) sol sol3 clauses ch(0), p.ch