البرمجة الاستقرائية

البرمجة الاستقرائية (بالإنجليزية: Inductive programming)‏ يرمز الاختصار إلى (IP) هي مجال خاص من ، تغطي الأبحاث من الذكاء الاصطناعي والبرمجة، والتي تتناول تعلم البرامج التقريرية (المنطقية أو الوظيفية) وغالبًا ما تكون متكررة من مواصفات غير كاملة، مثل أمثلة الإدخال / الإخراج أو القيود. اعتمادًا على لغة البرمجة المستخدمة، هناك عدة أنواع من البرمجة الاستقرائية. البرمجة الوظيفية للبرمجة الاستقرائية، والتي تستخدم لغات وظيفية مثل ليسب (Lisp) أو هاسكل (Haskell) هي لغة برمجة مطابقة للمعايي، للأغراض العامة، وعلى وجه الخصوص البرمجة المنطقية الاستقرائية، التي تستخدم لغات البرمجة المنطقية مثل برولوغ (Prolog) والتمثيلات المنطقية الأخرى مثل منطق الوصف، كانت أكثر بروزًا، مثل البرمجة القيدية أو البرمجة الاحتمالية.