NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning