Без заголовка

Ну, я пишу сейчас много про непрограммистские модели. В современных САПР к ним сейчас приписываются некие "правила" (например, "два бензинопровода не могут быть ближе друг ко другу, чем на расстоянии 1м") и эти правила обычно даются во вполне логическом языке.