Nəticəçıxarma proqramlaşdırması (en.inference programming ~ ru. программарование вывода ~ tr. sonuç çıkarma programlaması)– proqramın faktlar və qaydalar toplusundan çıxarılan məntiqi nəticələrə əsaslanaraq nəticələri qiymətləndirdiyi proqramlaşdırma üsulu. Nəticəçıxarma proqramlaşdırmasını bilavasitə dəstəkləyən proqramlaşdırma dillərindən biri Prolog dilidir.