论“自然语言编程”的成功：编程即规格说明的循环