Logical reasoning operations (like applying rules) implemented as differentiable functions so gradients can flow through them.