Добро пожаловать, гость
:: алгоритмы  и методы :: :: олимпиадные задачи :: :: связь :: :: о сайте :: :: форум ::

Форум работает в режиме архива, только для чтения и поиска.
Архив 2004 Архив 2007 Архив 2013

 
 
Опции темы Поиск в этой теме Опции просмотра
  #1  
Старый 13.12.2010, 11:09
Новичок

Отправить личное сообщение для wormz3d Посмотреть профиль Найти все сообщения от wormz3d
 
Регистрация: 13.12.2010
Сообщений: 1

Логическая задача [Prolog]
Помогите написать

Условие: Четыре друга Антонов, Вехов, Сомов и Деев – решили провести свой отпуск в четырех различных городах – Москве, Санкт-Петербурге, Киеве, Ташкенте, а потом обменяться своими впечатлениями. В какой город должен поехать каждый из них, если на их желания наложены такие ограничения:
1) Если Антонов не поедет в Москву, то Сомов не должен ехать в Санкт-Петербург;
2) если Вехов не поедет ни в Москву, ни в Ташкент, то Антонов поедет в Москву;
3) если Сомов не поедет в Ташкент, то Вехов поедет в Киев;
4) если Деев не поедет в Москву, то в Москву поедет Вехов;
5) если Деев не поедет в Санкт-Петербург, то Вехов не поедет в Москву.

Вот что есть на данный момент:

Код:
PREDICATES

poedet(symbol,symbol).
where(symbol,symbol).

CLAUSES

u1() :- not(poedet(antonov,moscow)), not(poedet(somov,spb)).
u2() :- not(poedet(vehov,moscow)), not(poedet(vehov,tashkent)), poedet(antonov,moscow).
u3() :- not(poedet(somov,tashkent)), poedet(vehov,kiev).
u4() :- not(poedet(deev,moscow)) , poedet(vehov,moscow).
u5() :- not(poedet(deev,spb)), not(poedet(vehov,moscow)).
 


Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск
Опции просмотра