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