https://aicompetence.org/teaching-machines-to-reason-neuro-symbolic-ai/