DAT615 Neuro-symbolic AI