Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends ...