On one hand, we wish to guide training and prediction with neural networks using logic, which is non-differentiable.
we seek to retain the advantages of gradient-based learning without having to redesign the training scheme.