Towards a fully declarative neuro-symbolic language