Завдання 3

Розробити автоматизовану СПР, яка вирішує задачу про Ханойські вежі.

Є три стержні, на якому розміщено N кілець різного діаметру, при цьому, чим меншим є кільце, тим вище воно знаходиться.

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

ВИСНОВОК

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

Факти в мові Пролог описуються логічними предикатами з конкретними значеннями. Правила в Пролозі записуються у формі правил логічного висновку з логічними висновками і списком логічних умов.

Особливу роль у інтерпретаторі Прологу відіграють конкретні запити до баз знань, на які система логічного програмування генерує відповіді «істина» і «брехня». Для узагальнених запитів із змінними в якості аргументів створена система Пролог виводить конкретні дані на підтвердження істинності узагальнених відомостей і правил виводу.

Факти в базах знань на мові Пролог представляють конкретні відомості (знання). Узагальнені відомості та знання в мові Пролог задаються правилами логічного висновку (визначеннями) і наборами таких правил виводу (визначень) над конкретними фактами і узагальненими відомостями.