Пролог (мова програмування): відмінності між версіями

Пролог має корені в сраці[[Логіка першого порядку|логіці першого порядку]], [[Математична логіка|математичній логіці]], та, на відміну від багатьох інших [[Мова програмування|мов програмування]], є [[Декларативне програмування|декларативною]]: логіка програми виражається в термінах відношень, представлених як факти та [[Правило умовиводу|правила]]. Обчислення ініціюється запуском ''запиту'' над цими відношеннями<ref name=lloyd84/>.