Neuro-symbolic Learning Yielding Logical Constraints