Московський Авіаційний Інститут
Курсова робота
з дисципліни В«Інтелектуальні Інформаційні СистемиВ»
Рішення логічного завдання на мові Prolog
Виконав: студент групи 03-432
Виноградов А.А.
Москва 2012р
Введення
Пролог - мова і система логічного програмування, засновані мовою предикатів математичної логіки диз'юнктів Хорна, що представляє собою підмножину логіки предикатів першого порядку.
Основними поняттями у мові Пролог є факти, правила логічного висновку та запити, що дозволяють описувати бази знань, процедури логічного висновку і прийняття рішень.
Факти в мові Пролог описуються логічними предикатами з конкретними значеннями. Правила в Пролозі записуються у формі правил логічного висновку з логічними висновками і списком логічних умов. p align="justify"> Особливу роль у інтерпретаторі Прологу відіграють конкретні запити до баз знань, на які система логічного програмування генерує відповіді В«істинаВ» і В«брехняВ». Для узагальнених запитів із змінними в якості аргументів створена система Пролог виводить конкретні дані на підтвердження істинності узагальнених відомостей і правил виводу. p align="justify"> Факти в базах знань мовою Пролог представляють конкретні відомості (знання). Узагальнені відомості та знання в мові Пролог задаються правилами логічного висновку (визначеннями) і наборами таких правил виводу (ухвал) над конкретними фактами і узагальненими відомостями. p align="justify"> Початок історії мови відноситься до 1970-м рокам. Будучи декларативною мовою програмування, Пролог сприймає в якості програми деякий опис завдання або баз знань і сам виробляє логічний висновок, а також пошук вирішення завдань, користуючись механізмом пошуку з поверненням і уніфікацією. p align="justify"> Чому Prolog?
Пролог найпопулярніший мова логічного програмування з багаторічною історією розвитку, величезним співтовариством і достатньою кількістю якісної літератури, на відміну, наприклад від мови Lisp. Рішення на Пролозі завдань, що вимагають логічних висновків, найбільш лаконічно, в порівнянні з будь-яким з структурованих мов. Чим рішення коротше і зрозуміліше, тим легше розібратися в його нюансах, що немало важливо при роботі програмістів в команді. br/>
Історія головоломок
Деякі головоломки відомі з глибокої давнини. Оригінальні логічні завдання знаходять на стінах єгипетських пірамід, в давньогрецьких манускриптах і в інших історичних пам'ятках. Епохою розквіту в середньовічній історії головоломок можна вважати кінець IX століття. Зростання рівня освіти і ...