Мова логічного програмування - це
Мова логічного програмування
Логічне програмування - парадигма програмування. заснована на автоматичному доказі теорем, а також розділ дискретної математики. вивчає принципи логічного висновку інформації на основі заданих фактів і правил виведення. Логічне програмування засноване на теорії та апараті математичної логіки з використанням математичних принципів резолюцій.
Найвідомішим мовою логічного програмування є 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 руб