2 { numero(1..6) } 2.

par(2 * X) :- numero(X).