Nəticəçıxarma proqramlaşdırması

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.

 Ədəbiyyat 
 İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.

 Xarici keçidlər 
 Logic Programming Virtual Library entry 
 Bibliographies on Logic Programming 
 Association for Logic Programming (ALP) 
 Theory and Practice of Logic Programming journal {{ref-en}
 Probabilistic programming wiki 

 Həmçinin bax 
Proloq dili

Kateqoriya:İnformatika
Kateqoriya:Kompüter
Kateqoriya:Proqramlaşdırma dilləri