Non Determinate BK with Constant

<MSH> active(A):- atm(A,A38,h, 3,C1), atm(A,A37,h, 3,C1), atm(A,A36,h, 3,C1),

….

atm(A,A03,c,27,C8), atm(A,A02,c,22,C7), atm(A,A01,c,22,C7), …

active(A):- atm(A,A38,h, 3,C1).

active(A):- atm(A,A37,h, 3,C1).

active(A):- atm(A,A36,h, 3,C1).

… …

active(A):- atm(A,A03,c,27,C8).

active(A):- atm(A,A02,c,22,C7).

active(A):- atm(A,A01,c,22,C7).