A hybrid approach combining logical inference with gradient-based learning to discover logical rules from data.