Task Level Robot Programming Using Prioritized Non-Linear Inequality Constraints | AMiner