Neuro-Symbolic Recommendation Model based on Logic Query