Здравствуйте, Sinclair, Вы писали:

S>Я надеялся, что одна переменная связывается только с одним значением, так что (x:y, x:z) матчит строки с одинаковой головой и произвольными хвостами.

Нет, имена переменных на сопоставление не влияют. Тут будет редефинишон. Если нужно сматчить какое-то конкретное значение, можно подставить константу ("x":y, "x":z). Потенциально, конечно, такое соглашение в язык можно ввести, но он будет порождать случайные баги от копипасты. Ни в одном языке я подобного не видел.

Здравствуйте, Sinclair, Вы писали:

S>Здравствуйте, Владимир Паронджанов, Вы писали:

ВП>>На Хабре опубликована моя статья по языку ДРАКОН:
ВП>>https://habr.com/ru/post/537294/

S>Прочёл. Опять — много эмоций, повторения мантр. Никаких обоснований того, что Дракон волшебным образом помогает писать безошибочные программы, нету.
S>Одни намёки, и наваливание бессмысленных подробностей вроде "аксиоматического подхода".

Уважаемый Sinclair, благодарю за критические замечания.
Докладываю о последних событиях.

1.Применение языка ДРАКОН в медицине.

Не имеет отношения к программированию.
Используется для описания действий врачей при профилактике, диагностике, лечении и реабилитации.

На жаргоне врачей это называется "клинический алгоритм", "алгоритм действий врача".

Я пригласил в соавторы 11 специалистов, в том числе 5 докторов медицинских наук и 3 кандидатов медицинских наук.

В результате получилась коллективная монография
"Клиническая алгоритмическая медицина. Алгоритмы диагностики и лечения на медицинском языке ДРАКОН".
Экспертный совет по науке Департамента здравоохранения города Москвы рекомендовал книгу в качестве методических рекомендаций "к печати и последующему последующему внедрению в практику московского здравоохранения".

2. Применение языка ДРАКОН в программировании для промышленной автоматики.

Кому интересно приглашаю в чат телеграм-канала, где ведется разработка новых инструментальных средств на основе языка ДРАКОН для программирования программируемых логических контроллеров https://t.me/Dracon_Lang

С уважением Владимир Паронджанов