Мова логічного програмування - це

Мова логічного програмування

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

Найвідомішим мовою логічного програмування є Prolog.

Першою мовою логічного програмування була мова стека. Потім була розроблена мова Prolog. який не вимагав плану перебору варіантів і був, в цьому сенсі, спрощенням мови Mercury, Visual Prolog. Oz і Fril відбулися вже від мови Prolog. На базі мови Шапіро [1989]).

бібліографічні посилання

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

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

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

Логічний мову програмування - Логічне програмування парадигма програмування, заснована на автоматичному доказі теорем, а також розділ дискретної математики, що вивчає принципи логічного висновку інформації на основі заданих фактів і правил виведення. ... ... Вікіпедія

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

Icon (мова програмування) - Цей термін має також інші значення див. Icon (значення). Icon Семантика: мультіпарадігменний: імперативний, логічний ... Вікіпедія

Леда (мова програмування) - Цей термін має також інші значення див. Леда (значення). Леда (Leda) мультипарадигмальності мову програмування, спроектований Тімоті Баддом. Мова Leda початково створювався з метою поєднання імперативного програмування, об'єктно ... ... Вікіпедія

  • Пролог (мова програмування). Джессі Рассел. Ця книга буде виготовлена ​​в відповідності з Вашим замовленням за технологією Print-on-Demand. High Quality Content by WIKIPEDIA articles! Пролог (фр. Programmation en Logique) - мова і система ... Детальніше Купити за тисячі сто двадцять п'ять руб
  • Методи програмування. Комп'ютерні обчислення. Могильов А. Книга є частиною комплекту підручників по курсу інформатики та інформаційно-комунікаційних технологій (ІКТ) в старших класах загальноосвітньої школи на профільному рівні. Вона ... Детальніше Купити за 295 руб
  • Методи програмування. Комп'ютерні обчислення. А. В. Могильов, Л. В. Лістрова. Книга є частиною комплекту підручників по курсу інформатики та інформаційно-комунікаційних технологій (ІКТ) в старших класах загальноосвітньої школи на профільному рівні. Вона ... Детальніше Купити за 269 руб
Інші книги по запросу «Мова логічного програмування» >>

Схожі статті