Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks