Natural language is just never good enough for computing tasks. We should learn to speak logic languages instead