Neuro-symbolic computing with spiking neural networks