Головна

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

  1. А) Логічне множення. Логічний елемент кон'юнктор
  2. Арифметико-логічний пристрій
  3. Б) Логічне складання. Логічний елемент діз'юнктор
  4. Квиток 18. Сучасне філософське вчення про розвиток. Фундаментальні закони діалектики і їх методологічне значення для медицини.
  5. Квиток 19. Принцип сітемності. Діалектика форми і змісту. Методологічне значення системного аналізу в медичному пізнанні.

Першою мовою логічного програмування був Planner, розроблений Карлом Хьюїт в Лабораторії штучного інтелекту Массачусетського технологічного інституту в 1969 р У цій мові була закладена можливість автоматичного виведення результату з даних і заданих правил шляхом перебору варіантів (сукупність яких називалася планом). Але найвідомішим мовою логічного програмування є Prolog, який був створений у Франції Аланом Кольмерое в 1971 р

Програма на мові Prolog містить дві складові частини: факти і правила. Факти уявляю собою дані, з якими оперує програма, а сукупність фактів становить базу даних Prolog. Основна операція, яка виконується над даними, - це операція зіставлення. Правила складаються з заголовка і підцілей. Виконання програми, написаної на Prolog, починається з запиту і складається в доказі істинності деякого логічного твердження в рамках заданої сукупності фактів і правил. Алгоритм цього докази (алгоритм логічного висновку) визначає принципи виконання програми, написаної на Prolog.

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

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

На сьогоднішній день існує цілий клас логічних мов. Від мови Planner також відбулися логічні мови програмування QA-4, Popler, Conniver і QLISP. Мови программірованіяMercury, VisualProlog, Ozі, Fril відбулися вже від мови Prolog.

Функціональне (аплікативного) програмування | поняття транслятора


Двійкова система числення | Переклад цілого числа із двійкового числення в десяткове числення | Природна форма даних | Нормальнаяформачісла | Машинні коди чисел | Дії над числами в природному стані | Етапи виконання завдання за допомогою комп'ютера | Поняття алгоритму, властивості алгоритму, засоби запису алгоритму | Структурний підхід до програмування | Мови програмування |

© 2016-2022  um.co.ua - учбові матеріали та реферати