The integration of machine learning and logical reasoning has long been considered a holy grail problem in artificial ...