% a()_5_5

:- dynamic(a/1),
   dynamic(b/1),
   dynamic(c/1),
   dynamic(d/1),
   dynamic(e/1).

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

clause(I) ---> a(I) ; b(I) ; c(I) ; d(I) ; e(I).