Using LPNMR for Problem Specification and Code Generation