Nəticəçıxarma proqramlaşdırması
Naviqasiyaya keç
Axtarışa keç
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
[redaktə | mənbəni redaktə et]- İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.
Xarici keçidlər
[redaktə | mənbəni redaktə et]- 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