% a_5_4

:- declare(5, 4).

true ---> a_5_1 ; a_5_2 ; a_5_3 ; a_5_4.
true ---> a_4_1 ; a_4_2 ; a_4_3 ; a_4_4.
true ---> a_3_1 ; a_3_2 ; a_3_3 ; a_3_4.
true ---> a_2_1 ; a_2_2 ; a_2_3 ; a_2_4.
true ---> a_1_1 ; a_1_2 ; a_1_3 ; a_1_4.