برنامه‌نویسی تشخیص پذیر