% a_1()_5_7

% a()_5_7 

:- 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).

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).