البرمجة الاستنتاجية في برمجة الكمبيوتر العادية، يحتفظ المبرمج بالنتائج المقصودة من البرنامج في الاعتبار ويبني بشق الأنفس برنامج كمبيوتر لتحقيق تلك النتائج. البرمجة الاستنتاجية تشير إلى (لا تزال افتراضية في الغالب) تقنيات وتقنيات تمكن من العكس. تسمح البرمجة الاستدلالية للمبرمج بوصف النتيجة المقصودة للكمبيوتر باستخدام استعارة مثل وظيفة الملاءمة، أو مواصفات الاختبار، أو المواصفات المنطقية، ثم يقوم الكمبيوتر بإنشاء برنامجه الخاص لتلبية المتطلبات المقدمة المعايير.
خلال الثمانينيات، كانت المناهج لتحقيق البرمجة الاستنتاجية تدور في الغالب حول تقنيات الاستدلال المنطقي. يستخدم المصطلح اليوم أحيانًا فيما يتعلق بتقنيات الحساب التطوري التي تمكن الكمبيوتر من تطوير حل استجابة لمشكلة تم طرحها كوظيفة ملائمة أو مكافأة.[1][2][3][4]
