DRAKON.SU

Что-то я не вполне понимаю, что вы, Владимир Даниелович, пытаетесь изобразить на Дракон-схеме. Это не схема решения задачи у вас, а схема правильного ответа. С таким же успехом можно было нарисовать "Валет в своём уме?" -> "Да" -> "Конец". Остальные утверждения не используются для принятия решения, или поиска ответа, а просто ведут в состояние "Ложь".

Я так понимаю, что если мы описываем алгоритм решения задачи, то там должно быть два исхода: "Валет в своём уме" и "Валет не в своём уме", а условия задачи должны помогать нам отвечать на вопросы схемы, приводящие к тому или иному исходу..

Обозначения: "=" - тождество, остальные так же.
3 = ~T
4 = 3 v 2
5 = (T & 4) v (~T & ~4)
6 = T & 2
7 = ~5
B = 6 v 7

А никто и не говорил, что Шестёрка в своём уме... То же и с Четвёркой.

DOMAINS
S = symbol
M = is(S, S);d(S,M)
PREDICATES
mb(S)
is(S, S)
d(S, M)
d1(S, S, S)
d2(S, S, S)
d3(S, S, S)
d4(S, S, S)
q
CLAUSES
mb(wume).
mb(newume).
d(wume, is(X, Y)):-is(X, Y).
d(newume, is(X, Y)):-not(is(X, Y)).
d(wume, d(X, is(Y, Z))):-d(X, is(Y, Z)).
d(newume, d(X, is(Y, Z))):-not(d(X, is(Y, Z))).
is (X, X).

d1(wume, S2, S3):-is(S2, wume);is(S3, wume).
d1(newume, S2, S3):-is(S2, newume), is(S3, newume).
d2(wume, S2, S3):-d3(wume, S2, S3);d4(wume, S2, S3).
d2(newume, S2, S3):-is(wume, S2), is(newume, S3);is(newume, S2), is(wume, S3).
d3(wume, S2, S3):-is(S2, newume), is(S3, newume).
d3(newume, S2, S3):-is(S2, wume);is(S3, wume).
d4(wume, S2, S3):-is(S2, wume), is(S3, wume).
d5(newume, S2, S3):-is(S2, newume);is(S3, newume).

q:- mb(K2), mb(K3), mb(K4), mb(K5), mb(K6), mb(K7), mb(KJ), mb(KA),
d(K3, is(KA, newume)), d1(K4, K3, K2), d2(K5, KA, K4), d4(K6, KA, K2),
d(K7, is(K5, newume)), d1(KJ, K6, K7), write("Валет", KJ),
nl, fail.
GOAL
q

Давайте порассуждаем вместе... Если я не прав, просьба указать на мои ошибки.

Возможно ли описание алгоритма решения этой задачи на Драконе или нет?

Я беру за основу Ваши формулы:

Теперь я скажу, что мне кажется. Мне кажется, что моя дракон-схема (внизу)
эквивалентна Вашему решению. Полностью эквивалентна.

Суть отличия в том, что моё решение демонстрирует, что задача имеет однозначное решение вне зависимости от значения переменных T и 2, а ваша Дракон-схема предполагает определённые фиксированные значения данных переменных.

Обратите внимание, например, на ветки "Шестёрка" и "Тройка". В обоих есть вопрос "Туз в своём уме?". Однако, в первом случае к состоянию "Ложь" ведёт отрицательный ответ на этот вопрос, а во втором - положительный.

Наконец, на Дракон-схеме не предусмотрен вариант неполноты условий, т.е. результат вида "при данных условиях однозначного ответа нет".

Пять домов, нумерация слева направо:
* Англичанин живёт в красном доме.
* Швед держит собаку.
* Датчанин пьёт чай.
* Зелёный дом стоит слева от белого.
* Жилец зелёного дома пьёт кофе.
* Человек, курящий Пэл Мэл содержит птицу.
* Жилец из среднего дома пьёт молоко.
* Жилец жёлтого дома курит Данхел.
* Норвежец живёт в первом доме.
* Курильщик Мальборо живёт около того, кто держит кошку.
* Человек, который содержит лошадь, живёт около того,
кто курит Данхел.
* Курильщик сигарет Винфельд пьёт пиво.
* Норвежец живёт около голубого дома.
* Немец курит Ротманс.
* Курильщик Мальборо живёт по соседству с человеком,
который пьёт воду.
Каждый живёт только в одном доме, курит и пьёт что-то одно и
содержит только одно домашнее животное.
ВОПРОС: У кого живёт рыбка?

Давайте... решим с помощью Дракона задачу Энштейна.