Non Determinate BK with Constant
Pruning
- association rule mining
- breadth-first or levelwise search
<MSH> active(A):- atm(A,A38,h, 3,C1), atm(A,A37,h, 3,C1), atm(A,A36,h, 3,C1),
…. atm(A,A23,o,40,C3), …atm(A,A17,c,10,C5), …
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,A23,o,40,C3).
active(A):- atm(A,A17,c,10,C5).
active(A):- atm(A,A03,c,27,C8).
active(A):- atm(A,A02,c,22,C7).
active(A):- atm(A,A01,c,22,C7).
atm(A,A23,o,40,C3),atm(A,A02,c,22,C7).