% b()_5_10_100000

% b()_5_7_16807

:- dynamic(a_1/1),
   dynamic(a_2/1),
   dynamic(a_3/1),
   dynamic(a_4/1),
   dynamic(a_5/1),
   dynamic(a_6/1),
   dynamic(a_7/1),
   dynamic(a_8/1),
   dynamic(a_9/1),
   dynamic(a_10/1).

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

clause(I) ---> a_1(I) ; a_2(I) ; a_3(I) ; a_4(I) ; a_5(I) ; a_6(I) ; a_7(I) ; a_8(I) ; a_9(I) ; a_10(I).

false :- a_1(_) ; a_2(_) ; a_3(_) ; a_4(_) ; a_5(_) ; a_6(_) ; a_7(_) ; a_8(_) ; a_9(_).