Декларативний мову програмування - це

Будь ласка, оформіть її згідно з правилами оформлення статей.

Декларативні мови програмування - це мови програмування високого рівня. в яких програмістом не ставить покроковий алгоритм вирішення задачі ( "як" вирішити задачу), а деяким чином описується, "що" потрібно отримати в якості результату. Механізм обробки зіставлення зі зразком декларативних тверджень вже реалізований в пристрої мови. Типовим прикладом таких мов є мови логічного програмування (мови, засновані на системі правил).

У програмах на мовах логічного програмування відповідні дії виконуються тільки при наявності необхідного дозволяє умови.

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

Найбільш поширеним мовою логічного програмування є мова Пролог.

Дивитися що таке "Декларативний мову програмування" в інших словниках:

Декларативний мову програмування - мова програмування високого рівня, побудований: на описі даних; і на описі бажаного результату. Декларативні мови поділяються на функціональні і логічні мови. Див. Також: Декларативні мови програмування Мови ... ... Фінансовий словник

декларативний мову - Мова програмування для вираження визначень. Примітка Як така мова часто виступає мова опису даних. [ГОСТ 19781 90] декларативний мову непроцедурного мова Мова програмування, який задає відносини між об'єктами, але не ... Довідник технічного перекладача

Декларативний мову - 34. декларативний мову Declarative language Мова програмування для вираження визначень. Примітка. Як така мова часто виступає мова опису даних Джерело: ГОСТ 19781 90: Забезпечення систем обробки інформації програмне. ... ... Словник-довідник термінів нормативно-технічної документації

Порівняння мов програмування - Цю статтю слід вікіфіціровать. Будь ласка, оформіть її згідно з правилами оформлення статей. Умовні позначення ... Вікіпедія

ГОСТ 19781-90: Забезпечення систем обробки інформації програмне. Терміни та визначення - Термінологія ГОСТ 19781 90: Забезпечення систем обробки інформації програмне. Терміни та визначення оригінал документа: 9. Абсолютна програма Non relocatable program Програма на машинній мові, виконання якої залежить від її ... ... Словник-довідник термінів нормативно-технічної документації