Мне нужно смоделировать следующую головоломку в Prover9 В порту 5 судов: Греческий корабль отправляется в шесть и несет кофе. Корабль посередине имеет черный дымоход. Английский корабль отправляется в девять. Французский...

Кажется, я не могу заставить работать свое if else. Джон, Фред и Гарри - мужчины, Мэри, Джули, Сьюзен и Энн - женщины. У Джона светлые волосы, а у Фреда и Гарри темные волосы. Джули и Сьюзан блондинки, Мэри и Энн брюнетки. Богатым является...

Я пытаюсь разгадать Загадку Эйнштейна на Прологе. У меня возникли трудности с программой, которую я написал, основной метод заключался в том, чтобы добавить все ограничения и позволить Prolog выяснить единственные возможные решения. Проблема в...

Я пытаюсь решить следующую проблему Caliban с помощью Prolog: Браун, Кларк, Джонс и Смит - 4 солидных гражданина, которые служат своему сообществу в качестве архитектора, банкира, врача и юриста, хотя и не обязательно соответственно. Браун,...

Кажется, у меня проблема с объединением фактов в Прологе, но я не могу это подтвердить. Все выглядит так, как будто это должно работать, и я искал примеры решенных логических головоломок с использованием Пролога, но безрезультатно, учитывая...

Я читаю книгу «7 языков за 7 дней» и дошел до главы «Пролог». В качестве обучающих упражнений я пытаюсь решить некоторые текстовые логические головоломки. Головоломка выглядит следующим образом: У пяти сестер день рождения в разном месяце и у...

Поэтому я попытался решить еще одну головоломку Эйнштейна, используя учебник, который я сам изучил на этом сайте. Но, кажется, я не получаю ответа. Когда я делаю запрос, он возвращает true только тогда, когда я хочу знать, какой паре нравится...

Я новичок в прологе и пытаюсь решить эту проблему. Я сделал пару руководств по основам пролога на YouTube, но мне нужна помощь в решении головоломки ниже. Две недели назад четыре энтузиаста наблюдали объекты в небе по соседству. Каждый из...

Во-первых, извините за публикацию всей программы, но, поскольку я не знаю, была ли проблема в том, что я не знаю, какие части не имеют значения. Это две немного разные реализации одной и той же логической головоломки в SWI-Prolog, первая успешно,...

Я новичок в прологе, и я пытаюсь решить следующий вопрос. Мне трудно понять логику решения проблемы. Я знаю, что это похоже на проблему с зеброй, но я не знаю, как подойти. Любая помощь будет принята с благодарностью. Ответы, представленные...

Я реализую вариант загадки Эйнштейна, и у меня возникли некоторые проблемы. При попытке вычислить решение я пробую это: solve(Street) :- Street = [_House1,_House2,_House3,_House4,_House5], %hint one goes here %hint two goes here %etc....