Differentiable Logic Machines