Пролог - мова і система логічного програмування, засновані на мові предикатів математичної логіки диз'юнктів Хорна, що представляє собою підмножина логіки предикатів першого порядку.
Основними поняттями в мові Пролог є факти, правила логічного висновку і запити, що дозволяють описувати бази знань, процедури логічного висновку і прийняття рішень.
Факти в мові Пролог описуються логічними предикатами з конкретними значеннями. Правила в Пролозі записуються в формі правил логічного висновку з логічними висновками і списком логічних умов.
Особливу роль в інтерпретаторі Прологу відіграють конкретні запити до баз знань, на які система логічного програмування генерує відповіді істина і брехня. Для узагальнених запитів зі змінними в якості аргументів створена система Пролог виводить конкретні дані на підтвердження істинності узагальнених відомостей і правил виведення.
Факти в базах знань на мові Пролог представляють конкретні відомості (знання). Узагальнені відомості і знання в мові Пролог задаються правилами логічного висновку (визначеннями) і наборами таких правил виведення (визначень) над конкретними фактами і узагальненими відомостями.
Початок історії мови відноситься до 1970-х років. Будучи декларативною мовою програмування, Пролог сприймає як програми деякий опис завдання або баз знань і сам виробляє логічний висновок, а також пошук вирішення завдань, користуючись механізмом пошуку з поверненням та уніфікацією.
Пролог найпопулярніший мова логічного програмування з багаторічною історією розвитку, величезним співтовариством і достатньою кількістю якісної літератури, на відміну, наприклад від мови Lisp. Рішення на Пролозі завдань, що вимагають логічних висновків, найбільш лаконічно, в порівнянні з будь-яким з структурованих мов. Чим рішення коротше і зрозуміліше, тим легше розібратися в його нюансах, що немало важливо при роботі програмістів в команді.
Деякі головоломки відомі з глибокої давнини. Оригінальні логічні задачі знаходять на стінах єгипетських пірамід, в давньогрецьких манускриптах і в інших історичних пам'ятках. Епохою розквіту в середньовічній історії головоломок можна вважати кінець IX століття. Зростання рівня освіти і зниження релігійної нетерпимості до наук привели до розширення кола любителів логічних задач. У цей час з'явилася і перша книга головоломок в Європі - збірник ірландського просвітителя Алкуина Завдання для розвитку молодого розуму.
Наступним поштовхом у розвитку головоломок стало винахід в 1974 році угорцем Ерне Рубіком знаменитого кубика. Кубик Рубика став не тільки іграшкою, а й об'єктом досліджень математиків і інженерів. З тих пір по всьому світу регулярно проводяться змагання зі швидкісного збирання кубика. Сучасна індустрія головоломок стрімко розвивається. Постійно на ринку з'являються нові ігри, конструкції і видання, покликані тримати інтелект людини в тонусі, розвивати логіку, тренувати нестандартне мислення і підвищувати інтелектуальний рівень в цілому.
В деякій далекій країні лицарі завжди говорили тільки правду і ніколи не брехали, а брехуни завжди тільки брехали і ніколи не говорили правди. А тепер ми підходимо до найцікавішої задачі, урочисто оголосив Король.
Якийсь містер Ентоні був присутній один раз на суді. Слухалася справа по звинуваченню в шпигунстві. На лаві підсудних сиділо троє А, В і С, щодо яких на початку засідання було відомо лише, що один з них лицар, інший брехун і третій шпигун.
Підсудного А суддя запитав: Ви шпигун? А відповів коротко ( "так" або "ні"). Потім суддя запитав підсудного В: Чи правду сказав А? В дав однозначну відповідь ( "так" або "ні"), після чого суддя, вказавши на одного з підсудних, заявив: Ви не шпигун, звільняєтесь з-під варти і можете бути вільні! Той з радістю покинув зал засідань. Потім суддя запитав у одного з двох, що залишилися на лаві підсудних, чи шпигун його сусід. Той відповів коротко ( "так" або "ні"), після чого суддя з упевненістю встановив, хто шпигун.
Поки ти ще не можеш визначити, хто шпигун, сказав Король Алісі, необхідні додаткові дані.
Слухай, що було далі.
Містер Ентоні розповів про процес свого д