В качестве генератора обычно используется предикат member, порождающий множество решений. На вопрос member(X,[a,b,c])? будут даны в требуемой последовательности решения X=a, X=b и X=c. Таким образом, предикат member можно использовать в программах, реализующих метод "образовать и проверить" для недетерминированного выбора корректного элемента из некоторого списка.
Метод "образовать и проверить" можно применить для решения логических головоломок. Логическая головоломка состоит из нескольких фактов относительно небольшого числа объектов, которые имеют различные атрибуты. Минимальное число фактов относительно объектов и атрибутов связано с желанием выдать единственный вариант назначения атрибутов объектам.
Метод решения логических головоломок опишем на следующем при-мере.
Три друга заняли первое, второе и третье места в соревнованиях уни-версиады. Друзья разной национальности, зовут их по-разному и любят они разные виды спорта.
Опубликовал vovan666
May 25 2013 17:14:02 ·
0 Комментариев ·
3121 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
