Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Рішення логічного завдання на мові Prolog

Реферат Рішення логічного завдання на мові Prolog





Московський Авіаційний Інститут












Курсова робота

з дисципліни В«Інтелектуальні Інформаційні СистемиВ»

Рішення логічного завдання на мові Prolog



Виконав: студент групи 03-432

Виноградов А.А.











Москва 2012р

Введення


Пролог - мова і система логічного програмування, засновані мовою предикатів математичної логіки диз'юнктів Хорна, що представляє собою підмножину логіки предикатів першого порядку.

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

Факти в мові Пролог описуються логічними предикатами з конкретними значеннями. Правила в Пролозі записуються у формі правил логічного висновку з логічними висновками і списком логічних умов. p align="justify"> Особливу роль у інтерпретаторі Прологу відіграють конкретні запити до баз знань, на які система логічного програмування генерує відповіді В«істинаВ» і В«брехняВ». Для узагальнених запитів із змінними в якості аргументів створена система Пролог виводить конкретні дані на підтвердження істинності узагальнених відомостей і правил виводу. p align="justify"> Факти в базах знань мовою Пролог представляють конкретні відомості (знання). Узагальнені відомості та знання в мові Пролог задаються правилами логічного висновку (визначеннями) і наборами таких правил виводу (ухвал) над конкретними фактами і узагальненими відомостями. p align="justify"> Початок історії мови відноситься до 1970-м рокам. Будучи декларативною мовою програмування, Пролог сприймає в якості програми деякий опис завдання або баз знань і сам виробляє логічний висновок, а також пошук вирішення завдань, користуючись механізмом пошуку з поверненням і уніфікацією. p align="justify"> Чому Prolog?


Пролог найпопулярніший мова логічного програмування з багаторічною історією розвитку, величезним співтовариством і достатньою кількістю якісної літератури, на відміну, наприклад від мови Lisp. Рішення на Пролозі завдань, що вимагають логічних висновків, найбільш лаконічно, в порівнянні з будь-яким з структурованих мов. Чим рішення коротше і зрозуміліше, тим легше розібратися в його нюансах, що немало важливо при роботі програмістів в команді. br/>

Історія головоломок


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


сторінка 1 з 7 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Розробка програми з використанням мови логічного програмування Prolog
  • Реферат на тему: Розробка програми з використанням мови логічного програмування Prolog
  • Реферат на тему: Розв'язування математичних задач помощью мови логічного програмування P ...
  • Реферат на тему: Структура числення предикатів - побудова логічного висновку
  • Реферат на тему: Розробка експертних систем засобами мови Турбо-Пролог