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