basic.lp 47 Bytes Edit Raw Blame History Permalink 1 2 3 2 { numero(1..6) } 2. par(2 * X) :- numero(X).