із заданими логічними правилами. Логічне програмування засноване на теорії математичної логіки. Найвідомішою мовою логічного програмування є Prolog, що...

обмеженнями, яке є вкладанням обмежень у логічне програмування. Поява цього варіанта логічного програмування пов'язана з іменами Jaffar і Lassez, які...

перекриваються. Зокрема, програмування обмеженнями і, меншою мірою, логічне програмування, зосереджуються на описі властивостей бажаного рішення (що), залишаючи...

обчислити функціональне програмування, у якому бажаний результат оголошується як значення серії застосувань функції, логічне програмування, в якому бажаний результат...

Python, Ruby, Smalltalk, Scala, ML, та Erlang. Prolog#Програмування вищих порядків Логічне програмування вищого порядку Naish, Lee (1996). Higher-order logic...

Проло́г (фр. Prolog, англ. Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою...

базах даних. Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний...

програми відповідають візуально вимогам «програмування» 5GL концепції. Програмування в обмеженнях Логічне програмування Generation languages. Архів оригіналу...

операції на логічних значеннях, з рядками та перевірки рівності двох значень. На відміну від функцій, оператори є базовими діями мови програмування, їх позначення...

роботу по денотаціонной семантиці. У 1972 році було розроблені логічне програмування і пролог. Це дало можливість комп'ютерним програмам виражатися через...

Наприклад, семантика мов програмування; логіка знань і припущень. Наприклад, штучний інтелект; мова Пролог і логічне програмування для створення баз знань...

записуватися в пам'ять. Імперативні мови програмування протиставляються функційним і логічним мовам програмування. Функційні мови, наприклад, Haskell, не...

Багатопарадигмова мова програмування (також мультипарадигмальна мова програмування) — переважно мова програмування, розроблена спеціально як інструмент...

В математичній логіці та логічному програмуванні диз'ю́нкт Го́рна (англ. Horn clause) — це логічна формула певного правилоподібного вигляду, який надає...

Семантика в теорії програмування — розділ, що вивчає математичне значення мови програмування та моделі обчислень. Формальна семантика мови задається математичною...

вбудована мова програмування загального призначення. У Curry об'єднані дві парадигми декларативного програмування - функціональна і логічна. Більш того,...

 Омельчук. — К. : ВПЦ «Київський університет», 2011. — 623 c. Логічне і функціональне програмування: навч. посіб. / В. М. Заяць, М. М. Заяць ; Нац. ун-т «Львів...

літературі також застосовувалося транслітероване Пле́нер) — функційно-логічна мова програмування, схожа за своїм синтаксисом з Ліспом. Була розроблена Карлом Хьюїтом[en]...

та оперативною пам'яттю. До логічного типу даних застосовні такі операції: І (логічне множення) (AND, &, *), АБО (логічне додавання) (OR, |, +), виключне...

Мо́ва програмува́ння (англ. Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам. Мови програмування використовуються...

Черча (функціональне програмування), нормальні алгоритми Маркова (логічне програмування). По-третє, методології можна пояснити через відображення однієї...

диз'юнктивною системою логічного програмування, яка реалізує семантику стійких моделей з використанням парадигми програмування наборами відповідей. Система...

основі мови програмування SB-Prolog, яка в свою чергу була також розроблена в Stony Brook University в 1986. Це мова логічного програмування. XSB підтримує...

достатньо ефективні процедури висновку, зокрема реалізовані в мові логічного програмування Пролог. У базах знань можна зберігати лише безліч аксіом, а решту...

окремих мов програмування — також у каталогах) з можливістю об'єднання модулів в програмний продукт на етапі компіляції або виконання; логічної завершеності...

імперативного програмування, об'єктно-орієнтованого програмування, функціонального програмування і логічного програмування. Мова описана в книзі Multiparadigm programming...

Функційне програмування — парадигма програмування, яка розглядає програму як обчислення математичних функцій та уникає станів та змінних даних. Функційне...

«побітове логічне І», воно ж «побітове множення»), порозрядний. У деяких мовах програмування назви операторів, відповідних логічним та побітовим логічним операціям...

імперативним програмуванням (функціональне та логічне програмування є основними підгрупами декларативного програмування) Розподілене програмування – підтримка...

C (укр. Сі) — універсальна, процедурна, імперативна мова програмування загального призначення, розроблена у 1972 році Деннісом Рітчі у Bell Telephone...

NP-складні) задачі пошуку. Воно засноване на стійкій моделі семантики логічного програмування. В ASP, задача пошуку зводиться до обчислювання стійкої моделі...