Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language