Neurosymbolic Machine Learning for Reasoning