برمجية استنتاجية

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

خلال الثمانينيات، كانت المناهج لتحقيق البرمجة الاستنتاجية تدور في الغالب حول تقنيات الاستدلال المنطقي. يستخدم المصطلح اليوم أحيانًا فيما يتعلق بتقنيات الحساب التطوري التي تمكن الكمبيوتر من تطوير حل استجابة لمشكلة تم طرحها كوظيفة ملائمة أو مكافأة.

قائمة ببعض لغات البرمجة 
 لغة تجميع
 سي
 سي++
 باسكال
 ليسب
 فيجوال بيسك
 فيجوال بيزك دوت نت
 سي شارب
 بايثون
 دلفي

المبرمجون 
مبرمجو الحاسوب هم الذين يكتبون برامج الحاسوب. وظائفهم تشمل بشكل عام:

 كتابة الشفرة
 التصريف
 التنقيح
 التوثيق
 الصيانة
 فحص البرمجيات

مراجع

وصلات خارجيَّة 

 الخطوات الأولى نحو البرمجة الاستنتاجية

أنماط برمجة
تقنية افتراضية