A logical operation that derives new facts from existing facts and rules; here learned as a differentiable neural function.