Neural-Symbolic Message Passing with Dynamic Pruning