Comparing Differentiable Logics for Learning Systems: A Research Preview