зміг адвокат вирішити після цього завдання, невідомо. p align="justify"> Принагідно містер Ентоні задав ту ж логічну задачу іншому своєму приятелеві, за професією також адвокату. Вислухавши обставини справи, цей приятель запитав: Чи отримав суддя принаймні два негативних відповіді на свої питання? Містер Ентоні задовольнив допитливість свого приятеля, але зміг той після цього вирішити завдання, невідомо. Зате відомо, продовжував Король, що цю логічну задачу або вирішили, чи не вирішили обидва приятелі містера Ентоні. p align="justify"> А тепер, сказав на закінчення Король, я хочу запитати тебе, хто ж був шпигуном? Хіба таке завдання можна вирішити? - Вигукнула в подиві Аліса. Так, цілком, відповів Король. Урочисто запевняю тебе в цьому. p align="justify"> prolog мову програмування логічний
Лістинг
персонаж = персонаж (ім'я, тип)
відповідь, ім'я, тип = symbol
спісок_ответов = відповідь *
спісок_тіпов = тип *
спісок_персонажей = персонаж *
процес = процес (спісок_персонажей, відповідь, відповідь, ім'я, відповідь)
вердикт = вердикт (персонаж, процес)
спісок_процессов = процес *
спісок_вердіктов = вердикт *
номер = integer
кількість = integer
PREDICATES
nondeterm одін_із (персонаж, спісок_персонажей)
nondeterm одін_із (тип, спісок_тіпов)
nondeterm одін_із (процес, спісок_процессов)
nondeterm одін_із (вердикт, спісок_вердіктов)
nondeterm
nondeterm колічество_елементов (спісок_вердіктов, кількість)
nondeterm
nondeterm
nondeterm
nondeterm одін_із_ответов (відповідь)
nondeterm одін_із_участніков (ім'я)
nondeterm сказав (персонаж, номер, процес)
nondeterm перевірка (персонаж, номер, процес)
nondeterm шпигун (ім'я, спісок_процессов, спісок_процессов)
nondeterm не_шпіон (ім'я, спісок_процессов, спісок_процессов)
nondeterm
nondeterm не_возможен (процес, спісок_процессов)
nondeterm
nondeterm гіпотеза (процес)
nondeterm суд1 (процес)
nondeterm суд2 (процес)
nondeterm конец_суда (вердикт)
nondeterm подсказка1 (вердикт, відповідь)
nondeterm подсказка2 (вердикт, відповідь)
nondeterm рішення1 (спісок_вердіктов)
