Neuro-symbolic Computation for XAI: Towards a Unified Model