% a()_5_10

clause(5).
clause(4).
clause(3).
clause(2).
clause(1).

clause(I) ---> a(I, 1) ; a(I, 2) ; a(I, 3) ; a(I, 4) ; a(I, 5) ; a(I, 6) ; a(I, 7) ; a(I, 8) ; a(I, 9) ; a(I, 10).