We propose a general framework capable of enhancing various types of neural networks (e.g., CNNs and RNNs) with declarative first-order logic rules.
we develop an iterative distillation method that transfers the structured information of logic rules into the weights of neural networks.