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 Arxivləşdirilib 2005-08-28 at the Wayback Machine (ing.)
• Bibliographies on Logic Programming  (ing.)
• Association for Logic Programming (ALP)  (ing.)
• Theory and Practice of Logic Programming journal {{ref-en}
• Probabilistic programming wiki Arxivləşdirilib 2016-01-10 at the Wayback Machine

Həmçinin bax

Proloq dili